Admissible orders and linear forms. (English) Zbl 0655.13017
Admissible orders, which are essential for the construction of Gröbner bases, are characterized in algebraic terms.
Reviewer: K.Peeva
MSC:
| 13F20 | Polynomial rings and ideals; rings of integer-valued polynomials |
| 68W30 | Symbolic computation and algebraic computation |
| 13-04 | Software, source code, etc. for problems pertaining to commutative algebra |
