An Approach for Floating-Point Error Analysis Using Computer Algebra.

Mark P. W. Mutrie, Richard H. Bartels, Bruce W. Char

Browse the full ISSAC paper archive.