Max W. Haslbeck
Homepages 🌐
Entries
2020
2019
Farkas' Lemma and Motzkin's Transposition Theorem
by Ralph Bottesch, Max W. Haslbeck and René Thiemann
2018
A verified LLL algorithm
by Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada
2016
Algorithms for Reduced Ordered Binary Decision Diagrams
by Julius Michaelis, Max W. Haslbeck, Peter Lammich and Lars Hupel