Applications of Differentiation Arithmetic11This work was supported in part by IBM Deutschland GmbH.
- 1 January 1988
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Using Weight Functions in Self-Validating QuadraturePublished by Springer Nature ,1987
- Performance of Self-validating Adaptive QuadraturePublished by Springer Nature ,1987
- Mean Value and Taylor Forms in Interval AnalysisSIAM Journal on Mathematical Analysis, 1983
- Solving Ordinary Differential Equations Using Taylor SeriesACM Transactions on Mathematical Software, 1982
- Automatic Differentiation of Computer ProgramsACM Transactions on Mathematical Software, 1980
- A Versatile Precompiler for Nonstandard ArithmeticsACM Transactions on Mathematical Software, 1979
- A simple automatic derivative evaluation programCommunications of the ACM, 1964