A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition.

Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika brahm, Bernd Becker

Browse the full CADE paper archive.