"Analytic Constraint Solving and Interval Arithmetic."

Timothy J. Hickey (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics