Certified Numerical Real Root Isolation for Bivariate Polynomial Systems.

Jin-San Cheng, Junyi Wen

Browse the full ISSAC paper archive.