R. Joan-arinyo et N. Mata, Applying constructive geometric constraint solvers to geometric problems with interval parameters, NONLIN ANAL, 47(1), 2001, pp. 213-224
In this paper we show how geometric problems defined by constraints with in
terval parameters can be solved by combining a symbolic geometric constrain
t solving phase and a numerical evaluation phase based on interval analysis
techniques.