Number-theoretic test generation for directed bounding

IEEE Transactions on Computers

Volumn 49, Issue 7, 2000, Pages 651-658

  Parks, Michael ^a  

^a SUN MICROSYSTEMS   (United States)

Author keywords

Arithmetic testing; Hensel lifting; HyperSPARC; IEEE Standard 754; Rounding functions

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CALCULATIONS; ITERATIVE METHODS; NUMBER THEORY; THEOREM PROVING;

ARITHMETIC TESTING; DIRECTED ROUNDING; HENSEL LIFTING; HYPERSPARC; ROUNDING FUNCTIONS;

DIGITAL ARITHMETIC;

EID: 0034215438     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.863034     Document Type: Article

References (8)

1. J.T. Coonen, "Contributions to a Proposed Standard for Binary Floating-Point Arithmetic," PhD thesis, Univ. of California at Berkeley, 1984.
2. IEEE 754-1985 Standard for Binary Floating-Point Arithmetic, New York: IEEE, 1985.
3. W. Kahan, "A Test for Correctly Rounded SQRT," http:// www.cs.berkeley.edu/∼wkahan/SQRTest.ps ( 31 May 1996).
4. W. Kahan, "Checking whether Floating-Point Division Is Correctly Rounded," manuscript, Apr. 1987.
5. N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions. Springer-Verlag, 1984.
6. I. Koren, Computer Arithmetic Algorithms. Prentice Hall, 1993.
7. P.T.P. Tang, "Testing Computer Arithmetic by Elementary Number Theory," preprint MCS-P84-0889, Math, and Computer Science Division, Argonne Nat'l Laboratory, Aug. 1989.
8. The U.C. Berkeley Test Suite, available from Netlib, http:// www.netlib.org/fp/ucbtest.tgz (1995).