An a posteriori certification algorithm for Newton homotopies. - Jonathan D. Hauenstein; Ian Haywood; Alan C. Liddell Jr. (ISSAC, 2014)

Certified counting of roots of random univariate polynomials. - Joseph Cleveland; Jeffrey Dzugan; Jonathan D. Hauenstein; Ian Haywood; Dhagash Mehta; Anthony Morse; Leonardo Robol; Taylor Schlenk (CoRR, 2014)