Begriff, Motivation

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

  benannt nach seinem Doktorvater Wolfgang Gröbner,

  (https://genealogy.math.ndsu.nodak.edu/id.php?id=18956, C. F. Gauß →^* F. Klein →^* ...)