Akihisa Yamada

4PUBLICATIONS
4CO-AUTHORS
Mathematical logic, set theory, lattices and universal algebraNumerical solution of differential and integral equationsRadiation and matter
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (4)

|Aug 25, 2020
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.

René Thiemann, Ralph Bottesch, Jose Divasón

|Apr 10, 2020
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.

Jose Divasón, Sebastiaan J C Joosten, René Thiemann

|Apr 01, 2020
A Verified Implementation of Algebraic Numbers in Isabelle/HOL.

Sebastiaan J C Joosten, René Thiemann, Akihisa Yamada

|Sep 04, 2018
Relative Termination via Dependency Pairs.

José Iborra, Naoki Nishida, Germán Vidal

Pageof 1

Frequent Collaborators

3 joint publications

Sebastiaan J C Joosten

3 joint publications

René Thiemann

2 joint publications

Jose Divasón

1 joint publications

Max W Haslbeck