EasyChair Smart SlideDocs/Log in
Author: René Thiemann

This page shows all presentations of this author published in EasyChair Smart Slide.

Efficient Certification of Termination Proofs

Efficient Certification of Termination Proofs

René Thiemann and Akihisa Yamada

A Verified Efficient Implementation of the LLL Basis Reduction Algorithm

A Verified Efficient Implementation of the LLL Basis Reduction Algorithm

Ralph Bottesch, Max W. Haslbeck and René Thiemann

A Formalization of the LLL Basis Reduction Algorithm

A Formalization of the LLL Basis Reduction Algorithm

Jose Divasón, Sebastiaan Joosten, René Thiemann and Akihisa Yamada

Formal Verification of Bounds for the LLL Basis Reduction Algorithm

Formal Verification of Bounds for the LLL Basis Reduction Algorithm

Max W. Haslbeck and René Thiemann

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair