"Metalevel Interval Arithmetic and Verifiable Constraint Solving."

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