# 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.

- Sort by
- Weight
- Alphabetically

### 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