René Thiemann

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Machine Learning

Psychometric Properties

Top Venues

Journal of automated reasoning

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

Publications

Jose Divasón, René Thiemann
A Formalization of the Smith Normal Form in Higher-Order Logic. Journal of automated reasoning 66 (4) (2022)
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)