Author:Max W. Haslbeck

Publications
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm Ralph Bottesch, Max W. Haslbeck and René Thiemann In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning