Finding points on real solution components and applications to differential polynomial systems
Wenyuan Wu, Greg J. Reid · 2013
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.