Sebastiaan J C Joosten

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Machine Learning

Psychometric Properties

Top Venues

Journal of automated reasoning

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

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)