1. Computational ideal theory in finitely generated extension rings;Apel;Theor. Comput. Sci.,2000
2. Groebner Bases;Becker,1991
3. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal;Buchberger,1965
4. Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems;Buchberger;Aequ. Math.,1970
5. A criterion for detecting unnecessary reduction in the construction of Groebner bases;Buchberger,1979