Algorithm 628
- 1 March 1985
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software
- Vol. 11 (1) , 66-78
- https://doi.org/10.1145/3147.214316
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- The Church-Rosser property in computer algebra and special theorem provingACM SIGSAM Bulletin, 1984
- Konstruktion von Zahlkörpern mit der Galoisgruppe M11 über $$\mathbb{Q}(\sqrt { - 11} )$$manuscripta mathematica, 1979
- Über B. Buchbergers verfahren, systeme algebraischer gleichungen zu lösenJournal of Number Theory, 1978
- An improved algorithmic construction of Gröbner-bases for polynomial idealsACM SIGSAM Bulletin, 1978
- Some properties of Gröbner-bases for polynomial idealsACM SIGSAM Bulletin, 1976
- A theoretical basis for the reduction of polynomials to canonical formsACM SIGSAM Bulletin, 1976
- Mehrdimensionale Hermite-Interpolation und numerische IntegrationMathematische Zeitschrift, 1976
- Toward a formal implementation of computer algebraACM SIGSAM Bulletin, 1974
- On algorithms for solving systems of polynomial equationsACM SIGSAM Bulletin, 1973
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen GleichungssystemsAequationes mathematicae, 1970