Sebastiaan J. C. Joosten

Gale-Stewart Games
by Sebastiaan J. C. Joosten

Universal Turing Machine
by Jian Xu, Xingyuan Zhang, Christian Urban and Sebastiaan J. C. Joosten

Graph Saturation
by Sebastiaan J. C. Joosten

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, Maximilian P. L. Haslbeck, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Subresultants
by Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

The Factorization Algorithm of Berlekamp and Zassenhaus
by Jose Divasón, Sebastiaan J. C. Joosten, René Thiemann and Akihisa Yamada

Algebraic Numbers in Isabelle/HOL
by René Thiemann, Akihisa Yamada and Sebastiaan J. C. Joosten