Practically accurate floating-point math

Computing in Science and Engineering

Volumn 16, Issue 4, 2014, Pages 80-95

  Toronto, Neil ^a   McCarthy, Jay ^a  

^a BRIGHAM YOUNG UNIVERSITY   (United States)

Author keywords

Code debugging; Floating point code; IEEE 754 2008 floating point standard; Scientific computing; Scientific programming

Indexed keywords

CODES (SYMBOLS); NATURAL SCIENCES COMPUTING;

CODE DEBUGGING; FLOATING-POINT CODE; SCIENTIFIC PROGRAMMING;

DIGITAL ARITHMETIC;

EID: 84906539363     PISSN: 15219615     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCSE.2014.90     Document Type: Article

References (3)

1. M. Flatt, "Reference Racket," tech. report PLT-TR-2010-1, PLT Inc., 2010; http://racket-lang.org/tr1.
2. L. Fousse et al., "MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding," ACM Trans. Mathematical Software, vol. 33, no. 2, 2007, pp. 13:1-13:15.
3. "IEEE Standard for Floating-Point Arithmetic," IEEE Std 754-2008, Aug. 2008, pp. 1-70.