Literatur

• B. Buchberger: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems (1970) https://www3.risc.jku.at/people/buchberg/refereed_publications.html

  (in 1970-00-00-A: Verweis auf Implementierung im „Formelcode der ZUSE Z 23``)

• F. Baader und T. Nipkow: Term Rewriting and all that (Kapitel 8), Cambridge Univ. Press 1998.
• H.-G. Gräbe: Gröbnerbasen und Anwendungen (Skript, Uni Leipzig); http://www.informatik.uni-leipzig.de/~graebe/skripte/