A Formalization of the LLL Basis Reduction Algorithm.

Jose Divasón Sebastiaan J. C. Joosten René Thiemann Akihisa Yamada

Published in: ITP (2018)

Keyphrases

knowledge representation
machine learning
domain knowledge
trade off
special case
distributed systems