A criterion for detecting unnecessary reductions in the construction of Gröbner-bases

Publisher Website

1 January 1979

book chapter
Published by Springer Nature

p. 3-21
https://doi.org/10.1007/3-540-09519-5_52

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Über B. Buchbergers verfahren, systeme algebraischer gleichungen zu lösen
Journal of Number Theory, 1978
An improved algorithmic construction of Gröbner-bases for polynomial ideals
ACM SIGSAM Bulletin, 1978
Canonical representatives for residue classes of a polynomial ideal
Published by Association for Computing Machinery (ACM) ,1976
Toward a formal implementation of computer algebra
ACM SIGSAM Bulletin, 1974
Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
Aequationes mathematicae, 1970