Standard bases in power series rings: Uniqueness and superfluous critical pairs (Q2368064): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:54, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Standard bases in power series rings: Uniqueness and superfluous critical pairs |
scientific article |
Statements
Standard bases in power series rings: Uniqueness and superfluous critical pairs (English)
0 references
22 August 1993
0 references
A standard basis in a power series ring is the analogon of a Gröbner basis in a polynomial ring. The author first defines reduced standard bases and proves their existence and uniqueness. Then he proves two theorems which correspond to the two Buchberger criteria for detecting superfluous critical pairs in Gröbner basis computations.
0 references
standard basis in a power series ring
0 references
Gröbner basis
0 references