G. Caplat
-
Simplication of symbolic-numerical interval expressions
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation