Simplication of Symbolic-Numerical Interval Expressions.

Evgenija D. Popova, Christian P. Ullrich

Browse the full ISSAC paper archive.