alphaCertified: certifying solutions to polynomial systems

V.E. Gough, Contribution to discussion papers on research in automobile stability, control and tyre performance , Proc. Auto Div. Inst. Mech. Eng. (1956–1957), 392–394

1957

Earlier work this paper cites.

D. Stewart, A platform with 6 degree of freedom , Proc. of the Institution of Mechanical Engineers 180

1965

Earlier work this paper cites.

S. Lang, Real analysis , second ed., Addison-Wesley Publishing Company Advanced Book Program, Reading, MA, 1983

1983

Earlier work this paper cites.

S. Smale, Newton’s method estimates from data at one point , The merging of disciplines: new directions in pure, applied, and computational mathematics (Laramie, Wyo., 1985), Springer, New York, 1986, pp. 185–196

1986

Earlier work this paper cites.

E. Kostlan, Random polynomials and the statistical fundamental theorem of algebra , 1987, Available at http://www.developmentserver.com/randompolynomials/rpsfta

1987

Earlier work this paper cites.

A.P. Morgan, A.J. Sommese, and C.W. Wampler, Complete solution of the nine-point path synthesis problem for four-bar linkages , ASME J. Mech. Des. 114

1992

Earlier work this paper cites.

E. Becker, M.G. Marinari, T. Mora, and C. Traverso, The shape of the Shape Lemma , Proceedings ISSAC-94, 1993, pp. 129–133

1993

Earlier work this paper cites.

M. Shub and S. Smale, Complexity of Bézout’s theorem. I. Geometric aspects , J. Amer. Math. Soc. 6

1993

Earlier work this paper cites.

G.H. Golub and C.F. Van Loan, Matrix computations , third ed., Johns Hopkins Studies in the Mathematical Sciences, Johns Hopkins University Press, Baltimore, MD, 1996

1996

Earlier work this paper cites.

W. Fulton and R. Pandharipande, Notes on stable maps and quantum cohomology , Algebraic geometry—Santa Cruz 1995, Proc. Sympos. Pure Math., vol. 62, Amer. Math. Soc., Providence, RI, 1997, pp. 45–96

1997

Earlier work this paper cites.

L. Blum, F. Cucker, M. Shub, and S. Smale, Complexity and real computation , Springer-Verlag, New York, 1998, With a foreword by Richard M. Karp

1998

Earlier work this paper cites.

P. Dietmaier, The Stewart-Gough platform of general geometry can have 40 real postures , Advances in Robot Kinematics: Analysis and Control, Kluwer Academic Publishers, 1998, pp. 1–10

1998

Earlier work this paper cites.

J. Verschelde, Algorithm 795: PHCpack: A general-purpose solver for polynomial systems by homotopy continuation , ACM Trans. Math. Softw. 25

1999

Cited alongside, same era.

by same author, Polynomial formulation and solutions of Stewart-Gough platform with 40 real positions , 1999, http://www.math.uic.edu/~jan/Demo/stewgou40.html

1999

Cited alongside, same era.

J.-P. Dedieu and M. Shub, Newton’s method for overdetermined systems of equations , Math. Comp. 69

2000

Cited alongside, same era.

A.J. Sommese, J. Verschelde, and C.W. Wampler, Numerical irreducible decomposition using projections from points on the components , Symbolic computation: solving equations in algebra, geometry, and engineering (South Hadley, MA, 2000), Contemp. Math., vol. 286, Amer. Math. Soc., Providence, RI, 2001, pp. 37–51

2001

Cited alongside, same era.

by same author, Stepsize control for path tracking , Interactions of classical and numerical algebraic geometry, Contemp. Math., vol. 496, Amer. Math. Soc., Providence, RI, 2009, pp. 21–31

2009

Later among the works it cites.

C. Beltrán and A. Leykin, Certified numerical homotopy tracking , arXiv.org/0912.0920

2009

Later among the works it cites.

I. Itenberg, V. Kharlamov, and E. Shustin, A Caporaso-Harris type formula for Welschinger invariants of real toric del Pezzo surfaces , Comment. Math. Helv. 84

2009

Later among the works it cites.

A. Leykin and F. Sottile, Galois groups of Schubert problems via homotopy computation , Math. Comp. 78

2009

Later among the works it cites.

A. Morgan, Solving polynomial systems using continuation for engineering and scientific problems , Classics in Applied Mathematics, 57, SIAM, 2009

2009

Later among the works it cites.