Jonathan D. Hauenstein, Ian Haywood, Alan C. Liddell Jr.. a posteriori certification algorithm for Newton homotopies. In Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. pages 248-255, ACM, 2014. [doi]
Abstract is missing.