Efficient computation of zero-dimensional gröbner bases by change of ordering

Journal of Symbolic Computation

Volumn 16, Issue 4, 1993, Pages 329-344

  Faugere J C ^a   Gianni, P ^b   Lazard, D ^a   Mora, T ^c  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b UNIVERSITY OF PISA   (Italy)

^c UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 25944479355     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1993.1051     Document Type: Article

References (12)

1. Cartiglia, L., Galligo A. and Heintz J. (1988). Some new efrectivity bounds in computational geometry. Proceedings of A A ECC-G, Lect. Notes in Comp. Sci. 357, Springer Verlag, 131-152.
2. Caniglia, L., Galligo A. and Heintz J. (1991). Equations for the projective closure and effective Nullstellensatz. Discrete Applied Math., 33, 11-23.
3. Davenport, J.H. (1987). Looking at a set of equations. Technical report 87-06, University of Bath.
4. Davenport, J.H., Si ret, Y. and Tournier, E. (1986). Calciti Formel, Sysièmes et Algo-rithmes de Manipulation Algébriqnes. Masson. English translation: Computer Algebra. Academic Press, 1988.
5. Gianni, P., Mora, T., (1987). Algebraic Solution of Systems of Polynomial Equations Using Gröbner Bases. Applied Algebra, Algebraic Algorithms and Error Correcting-Codes (AAECC-5), Led. Notes in Comp. Sci., 356, 247-257.
6. Gianni, P., Träger, B., Zacharias, G. (1988), Gröbner Bases and Primary Decomposition of Polynomial Ideals. In J. Symbolic Computation 6, 149-167.
7. Giovini, A., Mora, T., Niesi, G., Robbiano, L., Traverso, C. (1991) ‘One sugar cube, please”; or: Selection strategies in Buchberger algorithm. Proc. ISSAC ’91, ACM, 49-54
8. Kobayashi, H., Moritsugu, S. and Hogan, R.W. (1988). On Solving Systems of Algebraic Equations. Symbolic and Algebraic Computation, International Symposium ISSAC’88 (P. Gianni, ed.). Led. Notes in Comp. Sci. 358, 139-149.
9. Lazard, D. (1983). Gröbner Bases, Gaussian Elimination and Resolution of Systems of Algebraic Equations. Pive. EU ROCA L SS. Lect, Notes in Comp. Sci. 162, 146-157.
10. Lazard, D. (1989). Solving zero-dimensional algebraic systems. J. Of Symb. Comp., 13, 117-132.
11. Möller, H. M. (1993). Systems of algebraic equations solved by means of endomorphisms, Proceedings of AAECC-JO, Lect. Notes in Comp. Sci. G73 43-56.
12. Trinks, W. (1978). Uber B. Buchbergers Verfahren, Systeme Algebraischer Gleichungen zu Lösen. J. Number Th. 10, 475-488.