Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases (Q3140014)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases |
scientific article |
Statements
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases (English)
0 references
6 December 1993
0 references
equational reasoning
0 references
solution of linear equations
0 references
\(E\)-unification
0 references
commutative theories
0 references
semiring
0 references
rings
0 references
Gröbner bases
0 references
