Akihisa Yamada
Homepages 🌐
E-Mails 📧
Entries
2024
2023
2021
A Formalization of Weighted Path Orders and Recursive Path Orders
by Christian Sternagel 📧, René Thiemann 🌐 and Akihisa Yamada 📧
2019
2018
A verified factorization algorithm for integer polynomials with polynomial complexity
by Jose Divasón 🌐, Sebastiaan J. C. Joosten 🌐, René Thiemann 🌐 and Akihisa Yamada 📧
A verified LLL algorithm
by Ralph Bottesch, Jose Divasón 🌐, Max W. Haslbeck 🌐, Sebastiaan J. C. Joosten 🌐, René Thiemann 🌐 and Akihisa Yamada
2017
2016
The Factorization Algorithm of Berlekamp and Zassenhaus
by Jose Divasón 🌐, Sebastiaan J. C. Joosten 📧, René Thiemann 🌐 and Akihisa Yamada 📧
Perron-Frobenius Theorem for Spectral Radius Analysis
by Jose Divasón 🌐, Ondřej Kunčar 🌐, René Thiemann 🌐 and Akihisa Yamada 📧
2015
Algebraic Numbers in Isabelle/HOL
by René Thiemann 🌐, Akihisa Yamada 📧 and Sebastiaan J. C. Joosten 📧