EasyChair Smart SlideUser guide
Author: Max W. Haslbeck

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

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

Verified Analysis of Random Binary Tree Structures

Verified Analysis of Random Binary Tree Structures

Manuel Eberl, Max W. Haslbeck and Tobias Nipkow

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: 3
Copyright © 2002 – 2026 EasyChair