Some properties of Gröbner-bases for polynomial ideals
- 1 November 1976
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSAM Bulletin
- Vol. 10 (4), 19-24
- https://doi.org/10.1145/1088222.1088224
Abstract
We give a uniqueness theorem for Gröbner-bases of polynomial ideals and show that it is effectively decidable whether a given basis is a (minimal normed) Gröbner-basis. Incidentally, we show how our methods may be applied to decide α ≤ β for given polynomial ideals α and β.Keywords
This publication has 1 reference indexed in Scilit:
- A theoretical basis for the reduction of polynomials to canonical formsACM SIGSAM Bulletin, 1976