Intrinsic near quadratic complexity bounds for real multivariate root counting

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

Volumn 1461 LNCS, Issue , 1998, Pages 127-138

  Rojas, J Maurice ^a  

^a CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84896760200     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-68530-8_11     Document Type: Conference Paper

References (26)

1. Bernshtein, D. N., "The Number of Roots of a System of Equations," Functional Analysis and its Applications (translated from Russian), Vol. 9, No. 2, (1975), pp. 183-185.
2. Basu, S., Pollack, R., and Roy, M.-F., "On the Combinatorial and Algebraic Complexity of Quantifier Elimination," J. ACM 43 (1996), no. 6, pp. 1002-1045.
3. Bini, Dario and Pan, Victor Y. Polynomial and Matrix Computations, Volume 1: Fundamental Algorithms, Progress in Theoretical Computer Science, Birkhäuser, 1994.
4. Canny, John F., "Generalized Characteristic Polynomials," Symbolic and Algebraic Computation (Rome, 1988), pp. 293-299, Lecture Notes in Comput. Sci., 358, Springer, Berlin, 1989.
5. -, "Improved Algorithms for Sign Determination and Existential Quantifier Elimination," Comput. J. 36 (1993), no. 5, pp. 409-418.
6. Emiris, Ioannis Z., "Sparse Elimination and Applications in Kinematics," Ph.D. dissertation, Computer Science Division, U. C. Berkeley (December, 1994).
7. Emiris, Ioannis Z., "On the Complexity of Sparse Elimination," J. Complexity 12 (1996), no. 2, pp. 134-136.
8. Emiris, Ioannis Z. and Canny, John F., "Efficient Incremental Algorithms for the Sparse Resultant and the Mixed Volume," Journal of Symbolic Computation, Vol. 20 (1995), pp. 117-149.
9. Ewald, Günter, Combinatorial Convexity and Algebraic Geometry, Graduate Texts in Mathematics, 168, Springer-Verlag, New York, 1996.
10. Gel'fand, I. M., Kapranov, M. M., and Zelevinsky, A. V., Discriminants, Resultants and Multidimensional Determinants, Birkhäuser, Boston, 1994.
11. Gritzmann, Peter and Klee, Victor, "On the Complexity of Some Basic Problems in Computational Convexity II: Volume and Mixed Volumes," Polytopes: Abstract, Convex, and Computational (Scarborough, ON, 1993), pp. 373-466, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 440, Kluwer Acad. Publ., Dordrecht, 1994.
12. Gritzmann, Peter and Sturmfels, Bernd, "Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Bases," SIAM J. Discrete Math. 6 (1993), no. 2, pp. 246-269.
13. Manocha, Dinesh and Canny, John "Real Time Inverse Kinematics for General 6R Manipulators," Technical Report, University of California, Berkeley, 1992.
14. Mourrain, Bernard and Pan, Victor, "Asymptotic Acceleration of Solving Multivariate Polynomial Systems of Equations," STOC'98, ACM Press, 1998.
15. Mumford, David, "Algebraic Geometry I: Complex Algebraic Varieties," reprint of 1976 edition, Classics in Mathematics, Springer-Verlag, Berlin, 1995, x+186 pp.
16. Preparata, Franco P. and Shamos, Michael Ian, Computational Geometry: An Introduction, Texts and Monographs in Computer Science, Springer-Verlag, New York-Berlin, 1985.
17. Renegar, Jim, "On the Worst Case Arithmetic Complexity of Approximating Zeros of Systems of Polynomials," Technical Report, School of Operations Research and Industrial Engineering, Cornell University.
18. Rojas, J. Maurice, "Toric Laminations, Sparse Generalized Characteristic Polynomials, and a Refinement of Hilbert's Tenth Problem," Foundations of Computational Mathematics, selected papers of a conference, held at IMPA in Rio de Janeiro, January 1997, Springer-Verlag (1997).
19. -, "Linear Algebra for Large Nonlinear Algebra over the Reals," extended abstract, Sixth SIAM Conference on Applied Linear Algebra, Snowbird, Utah, October, 1997.
20. -, "Affine Elimination Theory," extended abstract, Proceedings of a Conference in Honor of David A. Buchsbaum, October, 1997, Northeastern University.
21. -, "Toric Intersection Theory for Affine Root Counting," Journal of Pure and Applied Algebra, to appear.
22. -, "Twisted Chow Forms and Toric Perturbations for Degenerate Polynomial Systems," submitted.
23. Roy, Marie-Françoise, "Basic Algorithms in Real Algebraic Geometry and their Complexity: from Sturm's Theorem to the Existential Theory of Reals," Lectures in Real Geometry (Madrid, 1994), pp. 1-67, de Gruyter Exp. Math., 23, de Gruyter, Berlin, 1996.
24. Sturmfels, Bernd, "Sparse Elimination Theory," In D. Eisenbud and L. Robbiano, editors, Proc. Computat. Algebraic Geom. and Commut. Algebra 1991, pages 377-396, Cortona, Italy, 1993, Cambridge Univ. Press.
25. -, "On the Newton Polytope of the Resultant," Journal of Algebraic Combinatorics, 3: 207-236, 1994.
26. -, "Introduction to Resultants," Notes from a lecture presented at an AMS short course on Applications of Computational Algebraic Geometry, San Diego, January 6-7, 1997.