Reliable homotopy continuation

Joris van der Hoeven (1)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]

In this paper, we present several algorithms for certified homotopy continuation. One typical application is to compute the roots of a zero dimensional system of polynomial equations. We both present algorithms for the certification of single and multiple roots. We also present several ideas for improving the underlying numerical path tracking algorithms, especially in the case of multiple roots.

Mots clés: Homotopy continuation; polynomial system solving; ball arithmetic; interval arithmetic; reliable computing

Domaines: Logiciel mathématique [cs.MS]

Joris van der Hoeven. Reliable homotopy continuation. [Research Report] LIX, Ecole polytechnique. 2015. ⟨hal-00589948v4⟩