A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system.

Stef Graillat, Philippe Trebuchet

Browse the full ISSAC paper archive.