A numerical code generation facility for REDUCE
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Mathematica: a system for doing mathematics by computer
Mathematica: a system for doing mathematics by computer
Automatic Error Analysis Using Computer Algebraic Manipulation
ACM Transactions on Mathematical Software (TOMS)
Automatic Error Cumulation Control
EUROSAM '84 Proceedings of the International Symposium on Symbolic and Algebraic Computation
Symbolic-Numeric Interface: a review (in absentia)
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
An algebraic front-end for the production and use of numeric programs
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Rounding Errors in Algebraic Processes
Rounding Errors in Algebraic Processes
| Hi-index | 0.00 |
While numerical (e.g. Fortran) code generation from computer algebra is nowadays relatively easy to do, the expressions as they are produced via computer algebra typically benefit from non-trivial reformulation for efficiency and numerical stability. To assist in automatic “expert reformulation”, we desire good automated tools to assess the stability of a particular form of an expression. In this paper, we discuss an approach to proofs of numerical stability (with respect to roundoff error) of rational expressions. The proof technique is based upon the ability to propagate properties such as sign, exact representability, or a certain kind of numerical stability, to floating point results from properties of their antecedents.The qualitative approach to numerical stability (inspired by [12]) lends itself to implementation as a backwards-chaining theorem prover. While it is not a replacement for alternative forms of stability analysis, it can sometimes discover stability and explain it straightforwardly.