Verdonk, Brigitte; Cuyt, Annie; Verschaeren, Dennis A precision- and range-independent tool for testing floating-point arithmetric. I: Basic operations, square root, and remainder. (English) Zbl 1070.68508 ACM Trans. Math. Softw. 27, No. 1, 92-118 (2001). Cited in 1 ReviewCited in 1 Document MSC: 68M15 Reliability, testing and fault tolerance of networks and computer systems 65G50 Roundoff error Software:UCBTEST; CLN; MPFR; HOL Light; Algorithm 693; PARI/GP PDFBibTeX XMLCite \textit{B. Verdonk} et al., ACM Trans. Math. Softw. 27, No. 1, 92--118 (2001; Zbl 1070.68508) Full Text: DOI