Berlekamp_Zassenhaus Dependents

2023

Perfect Fields

by Manuel Eberl and Katharina Kreuzer

Nov 06

Hardness of Lattice Problems

by Katharina Kreuzer

Feb 02

2022

CRYSTALS-Kyber

by Katharina Kreuzer

Sep 08

Number Theoretic Transform

by Thomas Ammer and Katharina Kreuzer

Aug 18

Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics

by Chelsea Edmonds and Lawrence C. Paulson

Apr 21

2020

A verified algorithm for computing the Smith normal form of a matrix

by Jose Divasón

May 23

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

2017

Linear Recurrences

by Manuel Eberl

Oct 12

2015

Algebraic Numbers in Isabelle/HOL

by René Thiemann, Akihisa Yamada and Sebastiaan J. C. Joosten

Dec 22