René Thiemann

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

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (4)

|Nov 10, 2022
A Formalization of the Smith Normal Form in Higher-Order Logic.

Jose Divasón, René Thiemann

|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

Pageof 1

Frequent Collaborators

3 joint publications

Sebastiaan J C Joosten

3 joint publications

Akihisa Yamada

3 joint publications

Jose Divasón

1 joint publications

Max W Haslbeck