Automatic Reasoning about Numerical Stability of Rational Expressions.

Bruce W. Char

Browse the full ISSAC paper archive.