Jan Verschelde Ann Haegemans Homotopies for Solving Polynomial Systems Within a Bounded Domain. 165-185 1994 133 Theor. Comput. Sci. 1 db/journals/tcs/tcs133.html#VerscheldeH94