Begriff

• Gröbnerbasis: endliche Darstellung für ein Polynom-Ideal,
• mit der man entscheiden kann, ob ein gegebenes Polynom zum Ideal gehört.
• Anwendung: Beweis geometrischer Aussagen, die sich algebraisch formulieren lassen.
• Erfinder: Bruno Buchberger 1965

Literatur: H.-G. Gräbe: Gröbnerbasen und Anwendungen (Skript, Uni Leipzig); V. Messerschmidt: Automatisches Beweisen in der ebenen Geometrie mittels Gröbnerbasen (Diplomarbeit, Uni Kassel), F. Baader und T. Nipkow: Term Rewriting and all that (Kapitel 8), Cambridge Univ. Press 1998.