Akihisa Yamada

Scopus Author ID ORCID

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 4

Top Topics

Machine Learning

Psychometric Properties

Gestational Age

Top Venues

Journal of automated reasoning

National Institute of Advanced Industrial Science and Technology (AIST)

This page only lists publications with an associated author ORCID identifier.

Affiliation History

National Institute of Advanced Industrial Science and Technology (AIST) Apr 01 2020

Japan

Senior Reseracher :: Cyber Physical Security Research Center

Publications

René Thiemann, Ralph Bottesch, Jose Divasón, Max W Haslbeck, Sebastiaan J C Joosten, Akihisa Yamada
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. Journal of automated reasoning 64 (5) (2020)
Jose Divasón, Sebastiaan J C Joosten, René Thiemann, Akihisa Yamada
A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm. Journal of automated reasoning 64 (4) (2019)
Sebastiaan J C Joosten, René Thiemann, Akihisa Yamada
A Verified Implementation of Algebraic Numbers in Isabelle/HOL. Journal of automated reasoning 64 (3) (2018)
José Iborra, Naoki Nishida, Germán Vidal, Akihisa Yamada
Relative Termination via Dependency Pairs. Journal of automated reasoning 58 (3) (2016)