Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic.

Martine Ceberio, Laurent Granvilliers

Browse the full AISC paper archive.