A Verified Efficient Implementation of the LLL Basis Reduction Algorithm.

Ralph Bottesch, Max W. Haslbeck, Ren Thiemann

Browse the full LPAR paper archive.