Finding points on real solution components and applications to differential polynomial systems

Abstract

In this paper we extend complex homotopy methods to finding witness points on the irreducible components of real varieties. In particular we construct such witness points as the isolated real solutions of a constrained optimization problem.