Sebastiaan J. C. Joosten
Homepages ๐
E-Mails ๐ง
Entries
2021
2019
Universal Turing Machine
by Jian Xu, Xingyuan Zhang, Christian Urban ๐, Sebastiaan J. C. Joosten ๐ and Franz Regensburger ๐
2018
A verified factorization algorithm for integer polynomials with polynomial complexity
by Jose Divasรณn ๐, Sebastiaan J. C. Joosten ๐, Renรฉ Thiemann ๐ and Akihisa Yamada ๐ง
A verified LLL algorithm
by Ralph Bottesch, Jose Divasรณn ๐, Max W. Haslbeck ๐, Sebastiaan J. C. Joosten ๐, Renรฉ Thiemann ๐ and Akihisa Yamada
2017
2016
The Factorization Algorithm of Berlekamp and Zassenhaus
by Jose Divasรณn ๐, Sebastiaan J. C. Joosten ๐ง, Renรฉ Thiemann ๐ง and Akihisa Yamada ๐ง
2015
Algebraic Numbers in Isabelle/HOL
by Renรฉ Thiemann ๐ง, Akihisa Yamada ๐ง and Sebastiaan J. C. Joosten ๐ง