Sebastiaan J. C. Joosten

Homepages 🌐

• https://sjcjoosten.nl/

E-Mails 📧

• ta.ca.kbiu @netsooj.naaitsabes

Entries

2021

Gale-Stewart Games

by Sebastiaan J. C. Joosten 🌐

Apr 23

2019

Universal Turing Machine

by Jian Xu, Xingyuan Zhang, Christian Urban 🌐, Sebastiaan J. C. Joosten 🌐 and Franz Regensburger 🌐

Feb 08

2018

Graph Saturation

by Sebastiaan J. C. Joosten

Nov 23

A verified factorization algorithm for integer polynomials with polynomial complexity

by Jose Divasón 🌐, Sebastiaan J. C. Joosten 🌐, René Thiemann 🌐 and Akihisa Yamada 📧

Feb 06

A verified LLL algorithm

by Ralph Bottesch, Jose Divasón 🌐, Max W. Haslbeck 🌐, Sebastiaan J. C. Joosten 🌐, René Thiemann 🌐 and Akihisa Yamada

Feb 02

2017

Subresultants

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

Apr 06

2016

The Factorization Algorithm of Berlekamp and Zassenhaus

by Jose Divasón 🌐, Sebastiaan J. C. Joosten 📧, René Thiemann 🌐 and Akihisa Yamada 📧

Oct 14

2015

Algebraic Numbers in Isabelle/HOL

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

Dec 22