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