Photo of Sebastiaan Jozef Christiaan Joosten

Sebastiaan Jozef Christiaan Joosten

dr.ir.

20172019
If you made any changes in Pure these will be visible here soon.

Research Output 2017 2019

Filter
Article
2019
16 Downloads (Pure)

Universal Turing Machine and Computability Theory in Isabelle/HOL

Xu, J., Zhang, X., Urban, C. & Joosten, S. J. C., 1 Feb 2019, In : Archive of Formal Proofs.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Computability Theory
Turing Machine
Halting Problem
Recursive Functions
Undecidability
2018
18 Downloads (Pure)

A verified factorization algorithm for integer polynomials with polynomial complexity

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 6 Feb 2018, In : Archive of Formal Proofs. 79 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Polynomial Complexity
Factorization
Polynomial
Integer
Polynomial time
2 Downloads (Pure)

A Verified Implementation of Algebraic Numbers in Isabelle/HOL

Joosten, S. J. C., Thiemann, R. & Yamada, A., 9 Dec 2018, In : Journal of automated reasoning. 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Polynomials
Factorization
17 Downloads (Pure)

A verified LLL algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 2018, In : Archive of Formal Proofs. 2018

Research output: Contribution to journalArticleAcademic

Open Access
File
Polynomials
Number theory
Textbooks
Computer science
Computational complexity
7 Downloads (Pure)

Finding models through graph saturation

Joosten, S. J. C., Nov 2018, In : Journal of Logical and Algebraic Methods in Programming. 100, p. 98-112 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Saturation
Invariant
Graph in graph theory
Chemical analysis
Graph Rewriting

Graph Saturation

Joosten, S. J. C., 23 Nov 2018, In : Archive of Formal Proofs. 2018, 89 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2017
7 Downloads (Pure)

Subresultants

Joosten, S., Thiemann, R. & Yamada, A., 6 Apr 2017, In : Archive of Formal Proofs. 28 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
Subresultants
Greatest common divisor of polynomials
Remainder
Efficient Algorithms
Polynomial