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

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

Published in: ISSAC (1992)

Keyphrases

computer algebra
error analysis
floating point
theorem prover
square root
least squares
fixed point
error correction
cross ratio
instruction set
floating point arithmetic
sparse matrices
fast fourier transform
theorem proving
automated theorem provers
computer algebra systems
pairwise
machine learning