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 journalArticle

Open Access
File
Polynomial Complexity
Factorization
Polynomial
Integer
Polynomial time

A verified LLL algorithm

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

Research output: Contribution to journalArticle

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 journalArticle

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

Subresultants

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

Research output: Contribution to journalArticle

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