Lexikon der Mathematik: Gröbner-Basis
Erzeugendensystem
eines Ideals I im Polynomenring K[x1,…,xn] über dem Körper K so, daß bezüglich einer gegebenen Monomenordnung die Leitmonome L(f1),…,L(fm) das Leitideal L(I) erzeugen.
Gröbner-Basen können mit Hilfe des Buchberger-Algorithmus berechnet werden. Sie sind in vielen Computeralgebrasystemen (z. B. in SINGULAR) implementiert. Sie bilden die Grundlage für viele Berechnungen, wie zum Beispiel die Elimination von Variablen.
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!