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

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

Engineering & Materials Science

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