Optimal Gröbner base algorithms for binomial ideals:

Abstract: "Little is known about upper complexity bounds for the normal form algorithms which transform a given polynomial ideal basis into a Gröbner basis. In this paper, we exhibit an optimal, exponential space algorithm for generating the reduced Gröbner basis of binomial ideals. This result...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Koppenhagen, Ulla (VerfasserIn), Mayr, Ernst W. 1950- (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: München 1996
Schriftenreihe:Technische Universität <München>: TUM-I 9604
Schlagworte:
Zusammenfassung:Abstract: "Little is known about upper complexity bounds for the normal form algorithms which transform a given polynomial ideal basis into a Gröbner basis. In this paper, we exhibit an optimal, exponential space algorithm for generating the reduced Gröbner basis of binomial ideals. This result is then applied to derive space optimal decision procedures for the finite enumeration and subword problems for commutative semigroups."
Beschreibung:18 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!