Elimination theory

• Andrey Zelevinsky
• Bartel Leendert van der Waerden
• Boolean satisfiability problem
• Buchberger's algorithm
• Bézout's theorem
• Cramer's rule
• David Hilbert
• Diophantine equation
• Faugère's F4 and F5 algorithms
• Francis Sowerby Macaulay
• Gaussian elimination
• Graduate Texts in Mathematics
• Gröbner bases
• Hermite normal form
• Hilbert's Nullstellensatz
• Israel Gelfand
• Leopold Kronecker
• Main theorem of elimination theory
• Moderne Algebra
• Quantifier elimination
• Resultant
• Resultant
• Smith normal form
• Springer-Verlag
• Tarski–Seidenberg theorem
• Triangular decomposition