Photo of Sebastiaan Jozef Christiaan Joosten

Sebastiaan Jozef Christiaan Joosten

dr.ir.

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

Research Output 2017 2018

Filter
Article
2018

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

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

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

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

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