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.

Fingerprint Dive into the research topics where Sebastiaan Jozef Christiaan Joosten is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Formalization
Subresultants
Computability Theory
Polynomial Complexity
Turing Machine
Factorization
Polynomial
Saturation
Greatest common divisor of polynomials
Integer
Halting Problem
Polynomial time
Recursive Functions
Invariant
Undecidability
Graph in graph theory
Remainder
Graph Rewriting
Efficient Algorithms
LLL Algorithm
Binary relation
Decision Procedures
Decision problem
Converse
Irreducible polynomial
Square free
Computer Algebra
Computing
Correctness
Factoring
Equality
Number theory
Soundness
NP-hard Problems
Intersection
Cryptography
Model
Polynomial-time Algorithm
Univariate
Integrate
Approximation

Engineering & Materials Science

Factorization
Polynomials
Context free grammars
XML
Printing
Computer systems
Model checking
Formal languages
Chemical analysis
File editors
Specifications
Specification languages
Interoperability
Data structures
Semantics
Number theory
Automation
Textbooks
Computer science
Computational complexity