
MPC
 Referenced in 14 articles
[sw07251]
 principles of the IEEE754 standard for fixed precision real floating point numbers to complex...

IEEE_Floating_Point
 Referenced in 1 article
[sw32221]
 provides a formal model of IEEE754 floatingpoint arithmetic. This formalization, including formal specification...

CRlibm
 Referenced in 4 articles
[sw12390]
 functions, correctly rounded in the four IEEE754 rounding modes, with a comprehensive proof ... hundred bits, portability, compatibility with IEEE floatingpoint, performance comparable to or better than...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

CXSC 2.0
 Referenced in 125 articles
[sw00182]
 A C++ class library for extended scientific computing...

INTLIB
 Referenced in 29 articles
[sw00444]
 Algorithm 737: INTLIB  a portable Fortran 77 interval...

LAPACK
 Referenced in 1642 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

PROFIL/BIAS
 Referenced in 133 articles
[sw00733]
 PROFIL (Programmer’s Runtime Optimized Fast Interval Library...

BLAS
 Referenced in 485 articles
[sw03216]
 Lowlevel utilities common to many mathematical software...

CUDA
 Referenced in 1207 articles
[sw03258]
 The NVIDIA® CUDA® Toolkit provides a comprehensive development...

INTLAB
 Referenced in 426 articles
[sw04004]
 INTLAB is the Matlab toolbox for reliable computing...

SparseMatrix
 Referenced in 638 articles
[sw04629]
 The University of Florida Sparse Matrix Collection. We...

mctoolbox
 Referenced in 1423 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

LBNL
 Referenced in 43 articles
[sw04883]
 LBNL HighPrecision Software Directory: doubledouble precision...

HOL
 Referenced in 508 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

mpmath
 Referenced in 40 articles
[sw05802]
 Mpmath is a purePython library for arbitrary...

Flocq
 Referenced in 19 articles
[sw06800]
 Flocq (Floats for Coq) is a floatingpoint...

OEIS
 Referenced in 3479 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

XBLAS
 Referenced in 40 articles
[sw11672]
 XBLAS  Extra Precise Basic Linear Algebra Subroutines. This...