Author:René Thiemann

Publications
Efficient Formalization of Simplification Orders René Thiemann and Akihisa Yamada EasyChair Preprint no. 8639
Extending a Verified Simplex Algorithm René Thiemann In:LPAR-22 Workshop and Short Paper Proceedings
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