• MPC

  • Referenced in 14 articles [sw07251]
  • principles of the IEEE-754 standard for fixed precision real floating point numbers to complex...
  • IEEE_Floating_Point

  • Referenced in 1 article [sw32221]
  • provides a formal model of IEEE-754 floating-point arithmetic. This formalization, including formal specification...
  • CRlibm

  • Referenced in 4 articles [sw12390]
  • functions, correctly rounded in the four IEEE-754 rounding modes, with a comprehensive proof ... hundred bits, portability, compatibility with IEEE floating-point, performance comparable to or better than...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • C-XSC 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]
  • Low-level 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...
  • mctoolbox

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

  • Referenced in 43 articles [sw04883]
  • LBNL- High-Precision Software Directory: double-double precision...
  • HOL

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

  • Referenced in 40 articles [sw05802]
  • Mpmath is a pure-Python library for arbitrary...
  • Flocq

  • Referenced in 19 articles [sw06800]
  • Flocq (Floats for Coq) is a floating-point...
  • OEIS

  • Referenced in 3479 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • XBLAS

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