Algorithm 921: AlphaCertified: Certifying solutions to polynomial systems

ACM Transactions on Mathematical Software

Volumn 38, Issue 4, 2012, Pages

  Hauenstein, Jonathan D ^a   Sottile, Frank ^a  

^a TEXAS A AND M UNIVERSITY   (United States)

Author keywords

Alpha theory; Certified solutions; Numerical algebraic geometry; Polynomial system

Indexed keywords

ALPHA THEORY; ARBITRARY PRECISION; NEWTON ITERATIONS; NEWTON'S METHODS; NUMERICAL ALGEBRAIC GEOMETRY; OVERDETERMINED SYSTEMS; POLYNOMIAL SYSTEMS; REAL SOLUTIONS;

ALGORITHMS; NEWTON-RAPHSON METHOD;

POLYNOMIALS;

EID: 84866349065     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/2331130.2331136     Document Type: Article

References (40)

1. ALLGOWER, E. AND GEORG, K. 2003. Introduction to Numerical Continuation Methods. Classics in Applied Mathematics Series, vol. 45, SIAM, Philadelphia, PA.
2. BATES, D., HAUENSTEIN, J., SOMMESE, A., AND WAMPLER, C. 2008. Adaptive multiprecision path tracking. SIAM J. Numer. Anal. 46, 2, 722-746.
3. BATES, D.,HAUENSTEIN, J., SOMMESE, A., AND WAMPLER, C. 2009a. Stepsize control for path tracking. In Interactions of Classical and Numerical Algebraic Geometry, Contemp. Math. Series, vol. 496, American Mathematical Society, Providence, RI, 21-31.
4. BATES, D. J.,HAUENSTEIN, J. D., PETERSON, C., AND SOMMESE, A. J. 2009b. Numerical decomposition of the rank-deficiency set of a matrix of multivariate polynomials. In Approximate Commutative Algebra, Texts and Monographs in Symbolic Computation, Springer, 55-77.
5. BATES, D. J., HAUENSTEIN, J. D., AND SOMMESE, A. J. 2011. Efficient path tracking methods. Numer. Algor. 58, 4, 451-459.
6. BATES, D., HAUENSTEIN, J., SOMMESE, A., AND WAMPLER, C. 2012. Bertini: Software for numerical algebraic geometry. www.nd.edu/sommese/bertini.
7. BECKER, E., MARINARI, M., MORA, T., AND TRAVERSO, C. 1993. The shape of the Shape Lemma. In Proceedings of the International Symposium on Algorithms and Computation. 129-133.
8. BELTR ́AN, C. AND LEYKIN, A. 2012. Certified numerical homotopy tracking. Exper. Math. 21, 1, 69-83.
9. BLUM, L., CUCKER, F., SHUB, M., AND SMALE, S. 1998. Complexity and Real Computation. Springer.
10. DECKER, W., GREUEL, G.-M., PFISTER, G., AND SCHONEMANN, H. 2010. SINGULAR 3-1-1-A computer algebra system for polynomial computations. www.singular.uni-kl.de.
11. DEDIEU, J.-P. AND SHUB, M. 2000. Newton's method for overdetermined systems of equations. Math. Comput. 69, 231, 1099-1115.
12. DIETMAIER, P. 1998. The Stewart-Gough platform of general geometry can have 40 real postures. In Advances in Robot Kinematics: Analysis and Control, Kluwer Academic Publishers, 1-10.
13. FOUSSE, L., HANROT, G., LEFEVRE, V., P'ELISSIER, P., AND ZIMMERMANN, P. 2007. MPFR: A multipleprecision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33, 2, Art. 13, 15.
14. FULTON, W. AND PANDHARIPANDE, R. 1997. Notes on stable maps and quantum cohomology. In Algebraic
15. Geometry Santa Cruz 1995, Proceedings of the Symposium on Pure Mathematics Series, vol. 62, American Mathematical Society, Providence, RI, 45-96.
16. GARĆIA-PUENTE, L., HEIN, N., HILLAR, C., DEL CAMPO-SANCHEZ, A. M., RUFFO, J., SOTTILE, F., AND TEITLER, Z. 2010. The Secant Conjecture in the real Schubert calculus. ArXiv.org/1010.0665.
17. GOLUB, G. AND VAN LOAN, C. 1996. Matrix Computations 3rd Ed. Johns Hopkins Studies in the Mathematical Sciences. Johns Hopkins University Press, Baltimore, MD.
18. GOUGH, V. 1957. Contribution to discussion papers on research in automobile stability, control and tyre performance. Proc. Auto Div. Inst. Mech. Eng., 392-394.
19. HAUENSTEIN, J. AND SOTTILE, F. 2011. alphaCertified: Software for certifying numerical solutions to polynomial equations. www.math.tamu.edu/ sottile/research/stories/alphaCertified.
20. HAUENSTEIN, J., HEIN, N., DEL CAMPO-SANCHEZ, A. M., AND SOTTILE, F. 2010. Beyond the Shapiro Conjecture and Eremenko-Gabrielov lower bounds. www.math.tamu.edu/sottile/research/pages/lower Shapiro/.
21. HAUENSTEIN, J., SOMMESE, A., AND WAMPLER, C. 2011. Regeneration homotopies for solving systems of polynomials. Math. Comput. 80, 345-377.
22. ITENBERG, I., KHARLAMOV, V., AND SHUSTIN, E. 2009. A Caporaso-Harris type formula for Welschinger invariants of real toric del Pezzo surfaces. Comment. Math. Helv. 84, 1, 87-126.
23. JERONIMO, G. AND PERRUCCI, D. 2010. On the minimum of a positive polynomial over the standard simplex. J. Symbolic Comput. 45, 4, 434-442.
24. KOSTLAN, E. 1987. Random polynomials and the statistical fundamental theorem of algebra. www.developmentserver.com/randompolynomials/rpsft
25. LANG, S. 1983. Real Analysis 2nd Ed. Addison-Wesley Publishing Company Advanced Book Program, Reading, MA.
26. LEE, T.-L., LI, T.-Y., AND TSAI, C.-H. 2008. HOM4PS-2.0: A software package for solving polynomial systems by the polyhedral homotopy continuation method. Comput. 83, 109-133.
27. LEYKIN, A. AND SOTTILE, F. 2009. Galois groups of Schubert problems via homotopy computation. Math. Comput. 78, 267, 1749-1765.
28. MIKHALKIN, G. 2005. Enumerative tropical algebraic geometry in R2. J. Amer. Math. Soc. 18, 2, 313-377.
29. MORGAN, A. 2009. Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems. Classics in Applied Mathematics, 57, SIAM, Philadelphia, PA.
30. MORGAN, A., SOMMESE, A., AND WAMPLER, C. 1992. Complete solution of the nine-point path synthesis problem for four-bar linkages. ASME J. Mech. Des. 114, 1, 153-159.
31. MUKHIN, E., TARASOV, V., AND VARCHENKO, A. 2009. The B. and M. Shapiro conjecture in real algebraic geometry and the Bethe ansatz. Ann. Math. (2) 170, 2, 863-881.
32. SHUB, M. AND SMALE, S. 1993. Complexity of B'ezout's theorem. I. Geometric aspects. J. Amer. Math. Soc. 6, 2, 459-501.
33. SMALE, S. 1986. Newton's method estimates from data at one point. In The Merging of Disciplines: New Directions in Pure, Applied, and Computational Mathematics, Springer, 185-196.
34. SOMMESE, A. AND WAMPLER II, C. 2005. The Numerical Solution of Systems of Polynomials Arising in Engineering and Science. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ.
35. SOMMESE, A., VERSCHELDE, J., AND WAMPLER, C. 2001. Numerical irreducible decomposition using projections from points on the components. In Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, Contemp. Mathematics Series, vol. 286, American Mathematical Society, Providence, RI, 37-51.
36. SOTTILE, F. 2010. Frontiers of reality in Schubert calculus. Bull. Amer. Math. Soc. (N.S.) 47, 1, 31-71.
37. STEWART, D. 1966. A platform with 6 degree of freedom. Proc. Inst. Mech. Engin. 180, 371-386.
38. VERSCHELDE, J. 1999a. Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation. ACM Trans. Math. Softw. 25, 2, 251-276. www.math.uic.edu/jan. (Pubitemid 129533740)
39. VERSCHELDE, J. 1999b. Polynomial formulation and solutions of Stewart-Gough platform with 40 real positions. www.math.uic.edu/jan/Demo/ stewgou40.html.
40. WELSCHINGER, J.-Y. 2003. Invariants of real rational symplectic 4-manifolds and lower bounds in real enumerative geometry. C. R. Math. Acad. Sci. Paris 336, 4, 341-344. (Pubitemid 36656908)