3 articles
Cylindrical algebraic decomposition
Cylindrical algebraic decomposition (CAD) is a computer algebra algorithm, introduced by George E. Collins in 1975, that partitions real space into sign-invariant cells for quantifier elimination.
Elimination theory
Elimination theory is the branch of algebra that removes unknowns from systems of multivariate polynomial equations, using resultants and Gröbner bases, with applications in equation solving, geometric theorem proving, and computer-aided design.
Resultant
The resultant, also called the polynomial resultant or eliminant, is an expression in the coefficients of two polynomials that vanishes exactly when they share a root.