## 2023

##### Hardness of Lattice Problems

by Katharina Kreuzer
Feb 02

## 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

## 2018

##### A verified factorization algorithm for integer polynomials with polynomial complexity

by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada
Feb 06