Universal Turing Machine by Jian Xu, Xingyuan Zhang, Christian Urban 🌐 and Sebastiaan J. C. Joosten 🌐 Feb 08
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
A verified LLL algorithm by Ralph Bottesch, Jose Divasón 🌐, Max W. Haslbeck 🌐, Sebastiaan J. C. Joosten 🌐, René Thiemann 🌐 and Akihisa Yamada Feb 02
The Factorization Algorithm of Berlekamp and Zassenhaus by Jose Divasón 🌐, Sebastiaan J. C. Joosten 📧, René Thiemann 📧 and Akihisa Yamada 📧 Oct 14
Algebraic Numbers in Isabelle/HOL by René Thiemann 📧, Akihisa Yamada 📧 and Sebastiaan J. C. Joosten 📧 Dec 22