External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Verified Efficient Implementation of the LLL Basis Reduction Algorithm

Ralph Bottesch, Max W. Haslbeck, René Thiemann. A Verified Efficient Implementation of the LLL Basis Reduction Algorithm. In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018. Volume 57 of EPiC Series in Computing, pages 164-180, EasyChair, 2018. [doi]

Authors

Ralph Bottesch

This author has not been identified. Look up 'Ralph Bottesch' in Google

Max W. Haslbeck

This author has not been identified. Look up 'Max W. Haslbeck' in Google

René Thiemann

This author has not been identified. Look up 'René Thiemann' in Google
runs on