Nonlinear reduction for solving deficient polynomial systems by continuation methods. Ronald Cools; Jan Verschelde — 1992 Numerische Mathematik
Numerical evidence for a conjecture in real algebraic geometry. Verschelde, Jan — 2000 Experimental Mathematics