Validated Numerics for Algebraic Path Tracking.

Alexandre Guillemot, Pierre Lairez

Browse the full ISSAC paper archive.