A new criterion for normal form algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1719, Issue , 1999, Pages 430-442

  Mourrain, B ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; POLYNOMIALS; VECTOR SPACES;

LAURENT POLYNOMIAL; NEW APPROACHES; NORMAL FORM; POLYNOMIAL RINGS; RING OF POLYNOMIALS; ZERO-DIMENSIONAL;

ALGORITHMS;

EID: 84957631580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46796-3_41     Document Type: Conference Paper

References (22)

1. M.E. Alonso, E. Becker, M.F. Roy, and T. Wörmann. Zeros, multiplicities and idempotents for zero dimensional systems. In L. González-Vega and T. Recio, editors, Algorithms in Algebraic Geometry and Applications, volume 143 of Prog. in Math., pages 1-15. Birkhauser, Basel, 1996.
2. W. Auzinger and H.J. Stetter. An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations. In Proc. Intern. Conf. on Numerical Math., volume 86 of Int. Series of Numerical Math, pages 12-30. Birkhauser Verlag, 1988.
3. T. Becker, V. Weispfenning, and H. Kredel. Gröbner Bases. A Computational Approach to Commutative Algebra, volume 141 of Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1993.
4. D. Bondyfalat, B. Mourrain, and V.Y. Pan. Controlled iterative methods for solving polynomial systems. In Proc. ISSAC, pages 252-259. ACM Press., 1998.
5. B. Buchberger. An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Polynomial Ideal (German). PhD thesis, Math. Inst, Univ. of Innsbruck, Austria, 1965. (also in Aequationes Math. 4/3, 1970).
6. B. Buchberger. Grobner bases: An algebraic method in ideal theory. In N.K. Bose, editor, Multidimensional System Theory, pages 184-232. Reidel Publishing Co., 1985.
7. D. Cox, J. Little, and D. O'Shea. Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, New York, 1992.
8. D. Eisenbud. Commutative Algebra with a view toward Algebraic Geometry, volume 150 of Graduate Texts in Math. Springer-Verlag, 1994.
9. I.Z. Emiris and B. Mourrain. Matrices in Elimination Theory. J. of Symbolic Computation, 28(1&2):3-44, 1999.
10. J.C. Faugere, P. Gianni, D. Lazard, and T. Mora. Efficient computation of zerodimensional groebner bases by change of ordering. J.S.C, 16(4):329-344, 1993.
11. Faugere J.C. A new efficient algorithm for computing Gröbner Basis (F4). J. of Pure and Applied Algebra, 139:61-88, 1999.
12. M. Giusti, J. Heintz, J.E. Morais, and L.M. Pardo. When Polynomial Equation Systems can be "Solved" Fast? In AAECC'95, LNCS. Springer-Verlag, 1995.
13. D. Lazard. Resolution des systemes d'equations algebriques. Theo. Comp. Science, 15:77-110, 1981.
14. F.S. Macaulay. On the Resolution of a given Modular System into Primary Systems Including some Properties of Hilbert Numbers. Proc. London Math. Soc., pages 66-121, 1912.
15. H. M. Möoller. Systems of algebraic equations solved by means of endomorphisms. Lect. Notes in Comp. Sci., 673:43-56, 1993.
16. B. Mourrain. Computing isolated polynomial roots by matrix methods. J. of Symbolic Computation, Special Issue on Symbolic-Numeric Algebra for Polynomials, 26(6):715-738, Dec. 1998.
17. B. Mourrain and V.Y. Pan. Asymptotic acceleration of solving multivariate polynomial systems of equations. In Proc. STOC, pages 488-496. ACM Press., 1998.
18. B. Mourrain and V.Y. Pan. Multivariate polynomials, duality and structured matrices. J. of Complexity, 1999. To appear.
19. F. Pauer and S. Zampieri. Groebner Bases with Respect to Generalized Term Orders and their Application to the Modelling Problem. J.S.C., 21:155-168, 1996.
20. J. Renegar. On the computational complexity and geometry of the first order theory of reals (I, II, III). J. Symbolic Computation, 13(3):255-352, 1992.
21. F. Rouillier. Algorithmes efficaces pour l'étude des zeros reels des systemes poly- nomiaux. PhD thesis, Universite de Rennes, 1996.
22. B. Sturmfels. Grobner bases of toric varieties. Tohoku Math. J., 43:249-261, 1991.