Comprehensive Gröbner bases

Greobner Bases : an algorithmic method in polynomial ideal theory

Bruno Buchberger · Medical Entomology and Zoology · 1985 · 1.1K citations

Algebraic Structure, Modern Algebra, Commutative Algebra +3

Real quantifier elimination is doubly exponential

James H. Davenport, Joos Heintz · Journal of Symbolic Computation · 1988 · 316 citations

Real Quantifier Elimination, First-order Logic, Equational Logic +1

Non-commutative Gröbner bases in algebras of solvable type

Äbdelilah Kandri-Rody, Volker Weispfenning · Journal of Symbolic Computation · 1990 · 227 citations

Non-commutative Gröbner Bases, Non-commutative Algebra, Universal Algebra +1

New constructive methods in classical Ideal theory

H. Michael Möller, Ferdinando Mora · Journal of Algebra · 1986 · 148 citations

Constructive Mathematics, Ring Theory, Automated Reasoning +2

Some examples for solving systems of algebraic equations by calculating groebner bases

W. Boege, R. Gebauer, Heinz Kredel · Journal of Symbolic Computation · 1986 · 111 citations

Numerical Analysis, Algebraic Equations, Algebraic Structure +5