Adaptive multiprecision path tracking

SIAM Journal on Numerical Analysis

Volumn 46, Issue 2, 2008, Pages 722-746

  Bates, Daniel J ^a   Hauenstein, Jonathan D ^b   Sommese, Andrew J ^b   Wampler II, Charles W ^c  

^a UNIVERSITY OF MINNESOTA   (United States)

^b UNIVERSITY OF NOTRE DAME   (United States)

^c GENERAL MOTORS CORPORATION   (United States)

Author keywords

Bertini; Homotopy continuation; Numerical algebraic geometry; Polynomial systems

Indexed keywords

BERTINI; COMPUTATIONAL COSTS; CURRENT PRACTICES; ERROR ESTIMATES; HIGHER PRECISIONS; HOMOTOPIES; HOMOTOPY CONTINUATION; NUMERICAL ALGEBRAIC GEOMETRY; NUMERICAL PRECISIONS; PATH TRACKING; POLYNOMIAL EQUATIONS; POLYNOMIAL SYSTEMS; RE-RUNS;

POLYNOMIAL APPROXIMATION;

NUMERICAL METHODS;

EID: 46049114641     PISSN: 00361429     EISSN: None     Source Type: Journal    
DOI: 10.1137/060658862     Document Type: Article

References (28)

1. E. L. ALLGOWER and K. GEORG, Numerical Continuation Methods. An Introduction, Springer Ser. Comput. Math. 13, Springer-Verlag, Berlin, Heidelberg, New York, 1990; reprinted as Introduction to Numerical Continuation Methods, Classics Appl. Math. 45, SIAM, Philadelphia, 2003.
2. D. J. BATES, J. D. HAUENSTEIN, A. J. SOMMESE, and C. W. WAMPLER. Bertini: Software for Numerical Algebraic Geometry, available online from www.nd.edu/Isommese/bertini.
3. J. W. DEMMEL, Applied Numerical Linear Algebra, SIAM, Philadelphia, 1997.
4. I. GARGANTINI and P. HENRICI, Circular arithmetic and the determination of polynomial zeros, Numer. Math., 18 (1971/1972), pp. 305-320.
5. R. B. KEARFOTT and M. NOVOA, Algorithm 681: INTBIS, a portable interval Newton/bisection package, ACM Trans. Math. Softw., 16 (1990), pp. 152-157.
6. R. B. KEARFOTT and Z. XING, An interval step control for continuation methods, SIAM J. Numer. Anal., 31 (1994), pp. 892-914.
7. D. E. KNUTH, The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, Addison-Wesley, Reading, MA, 1969.
8. A. LEYKIN, J. VERSCHELDE, and A. ZHAO, Evaluation of Jacobian matrices for Newton's method with deflation for isolated singularities of polynomial systems, in Proceedings of the International Workshop on Symbolic-Numeric Computation (SNC 2005), D. Wang and L. Zhi, eds., Xi'an, China, 2005, pp. 19-28.
9. T. Y. LI, Numerical solution of multivariate polynomial systems by homotopy continuation methods, Acta Numer., 6 (1997), pp. 399-436.
10. T. Y. LI, Numerical solution of polynomial systems by homotopy continuation methods, in Handbook of Numerical Analysis. Volume XI. Special Volume: Foundations of Computational Mathematics, F. Cucker, ed., North-Holland, Amsterdam, 2003, pp. 209-304.
11. T. Y. LI and Z. ZENG, A rank-revealing method with updating, downdating, and applications, SIAM J. Matrix Anal. Appl., 26 (2005), pp. 918-946.
12. J.-P. MERLET. A parser for the interval evaluation of analytical functions and its applications to engineering problems, J. SYMBOLIC COMPUT., 31 (2001), pp. 475-486.
13. A. P. MORGAN, Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems, Prentice-Hall, Englewood Cliffs, NJ, 1987.
14. A. P. MORGAN and A. J. SOMMESE, Computing all solutions to polynomial systems using homotopy continuation, Appl. Math. Comput., 24 (1987), pp. 115-138;
15. errata: Appl. Math. Comput., 51 (1992), p. 209.
16. A. P. MORGAN and A. J. SOMMESE, Coefficient- parameter polynomial continuation, Appl. Math. Comput., 29 (1989), pp. 123-160;
17. errata: Appl. Math. Comput., 51 (1992), p. 207.
18. A. P. MORGAN, A. J. SOMMESE, and C. W. WAMPLER, Computing singular solutions to nonlinear analytic systems, Numer. Math., 58 (1991), pp. 669-684.
19. A. P. MORGAN, A. J. SOMMESE, and C. W. WAMPLER, Computing singular solutions to polynomial systems, Adv. Appl. Math., 13 (1992), pp. 305-327.
20. A. P. MORGAN, A. J. SOMMESE, and C. W. WAMPLER, A power series method for computing singular solutions to nonlinear analytic systems, Numer. Math., 63 (1992), pp. 391-409.
21. N. REVOL and F. ROUILLIER, Motivations for an arbitrary precision interval arithmetic and the MPFI library, Reliable Comput., 11 (2005), pp. 275-290.
22. S. M. RUMP, INTLAB-INTerval LABoratory, in Developments in Reliable Computing: Proceedings of the GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN-98), T. Csendes, ed., Budapest, 1998, Kluwer Academic, Dordrecht, The Netherlands, 1999, pp. 77-104.
23. A. J. SOMMESE and C. W. WAMPLER, Numerical Solution of Systems of Polynomials Arising in Engineering and Science, World Scientific, Singapore, 2005.
24. F. TISSEUR, Newton's method in floating point arithmetic and iterative refinement of generalized eigenvalue problems, SIAM J. Matrix Anal. Appl., 22 (2001), pp. 1038-1057.
25. J. VERSCHELDE, Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation, ACM T. Math. Software, 25 (1999), pp. 251-276; software available from www.math.uic.edu/~jan.
26. C. W. WAMPLER, A. MORGAN, and A. J. SOMMESE, Complete solution of the nine-point path synthesis problem for four-bar linkages, ASME J. Mech. Design, 114 (1992), pp. 153-159.
27. D. WATKINS, Fundamentals of Matrix Computations, John Wiley, New York, 1991.
28. J. H. WILKINSON, Rounding Errors in Algebraic Processes, Dover, New York, 1994; reprint of the 1963 Prentice-Hall original.