Search filters

List of works by Akihisa Yamada

A Verified Implementation of Algebraic Numbers in Isabelle/HOL

scientific article published on 09 December 2018

A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm

scientific article published on 17 June 2019

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL

scientific article published on 09 June 2020

Relative Termination via Dependency Pairs

article

TOOLympics 2019: An Overview of Competitions in Formal Methods

scientific article published in 2019

Paulina is supported by:

About Paulina

Help