Automatic Result Verification
Authors:
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 1-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- FORTRAN-SC a study of a FORTRAN extension for engineering/scientific computation with access to ACRITHComputing, 1987
- The Arithmetic of the Digital Computer: A New ApproachSIAM Review, 1986
- Accurate arithmetic results for decimal data on non-decimal computersComputing, 1985
- Sequential defect correction for high-accuracy floating-point algorithms1984
- Defect Correction Methods1984
- Self-Validating Numerics for Function Space Problems1984