A Formalization of Weighted Path Orders and Recursive Path Orders by Christian Sternagel 📧, René Thiemann 📧 and Akihisa Yamada 📧 Sep 16
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
Perron-Frobenius Theorem for Spectral Radius Analysis by Jose Divasón 🌐, Ondřej Kunčar 🌐, René Thiemann 📧 and Akihisa Yamada 📧 May 20
Algebraic Numbers in Isabelle/HOL by René Thiemann 📧, Akihisa Yamada 📧 and Sebastiaan J. C. Joosten 📧 Dec 22
Matrices, Jordan Normal Forms, and Spectral Radius Theory by René Thiemann 📧 and Akihisa Yamada 📧 Aug 21