Ralph Bottesch

Homepages 🌐

• http://cl-informatik.uibk.ac.at/users/bottesch/

Entries

2021

Two algorithms based on modular arithmetic: lattice basis reduction and Hermite normal form computation

by Ralph Bottesch, Jose Divasón and René Thiemann

Mar 12

2019

Linear Inequalities

by Ralph Bottesch, Alban Reynaud and René Thiemann

Jun 21

Farkas' Lemma and Motzkin's Transposition Theorem

by Ralph Bottesch, Max W. Haslbeck and René Thiemann

Jan 17

2018

A verified LLL algorithm

by Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Feb 02