# 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

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