This page shows all presentations of this author published in EasyChair Smart Slide.
Efficient Certification of Termination Proofs
René Thiemann and Akihisa Yamada
A Formalization of the LLL Basis Reduction Algorithm
Jose Divasón, Sebastiaan Joosten, René Thiemann and Akihisa Yamada