Akihisa Yamada

A Formalization of Weighted Path Orders and Recursive Path Orders
by Christian Sternagel, René Thiemann and Akihisa Yamada

Complete Non-Orders and Fixed Points
by Akihisa Yamada and Jérémy Dubut

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, Maximilian P. L. Haslbeck, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

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

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

Polynomial Interpolation
by René Thiemann and Akihisa Yamada

Polynomial Factorization
by René Thiemann and Akihisa Yamada

Algebraic Numbers in Isabelle/HOL
by René Thiemann, Akihisa Yamada and Sebastiaan J. C. Joosten

Matrices, Jordan Normal Forms, and Spectral Radius Theory
by René Thiemann and Akihisa Yamada