A theoretical basis for the reduction of
โ
Buchberger, B.
๐
Article
๐
1976
๐
Association for Computing Machinery
โ 550 KB
We define a certain type of bases of polynomial ideals whose usefulness stems from the fact that a number of computability problems in the theory of polynomial ideals (e.g. the problem of constructing canonical forms for polynomials) is reducible to the construction of bases of this type. We prove a