• SmartMobile

  • Referenced in 15 articles [sw10867]
  • such software relies on (possibly erroneous) finite precision arithmetic and does not take into account...
  • SLICE

  • Referenced in 4 articles [sw30997]
  • when they are implemented in the finite-precision arithmetic of digital computers. The rounding errors...
  • Beaver

  • Referenced in 9 articles [sw00071]
  • theory of quantifier-free finite-precision bit-vector arithmetic. It supports all operators defined under...
  • MSSMOBILE

  • Referenced in 1 article [sw11704]
  • such software relies on (possibly erroneous) finite precision arithmetic and does not take into account...
  • IntervalArithmetic.jl

  • Referenced in 2 articles [sw29043]
  • IntervalArithmetic.jl: Rigorous oating-point calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package ... Julia, i.e. rigorous computations with finite-precision floating-point arithmetic. All calculations are carried...
  • Givaro

  • Referenced in 7 articles [sw00354]
  • basic arithmetic of many mathematical entities: Primes fields, Extensions Fields, Finite Fields, Finite Rings, Polynomials ... Algebraic numbers, Arbitrary precision integers and rationals (C++ wrappers over gmp) It also provides data...
  • 2dhf

  • Referenced in 1 article [sw10775]
  • Krammers-Henneberger potentials and take account of finite nucleus models. The program is easy ... perform calculations within double- or quadruple-precision arithmetic...
  • Cogent

  • Referenced in 14 articles [sw01300]
  • existing theorem provers, such as Simplify, lack precise support for important programming language constructs such ... supports finite machine-level variables, bit operations, structures, unions, references, pointers and pointer arithmetic. When...
  • CGAL

  • Referenced in 334 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 601 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

  • Referenced in 54 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • Coq

  • Referenced in 1748 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 122 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • FLINT

  • Referenced in 39 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • gmp

  • Referenced in 255 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • GMRES

  • Referenced in 16 articles [sw00365]
  • Algorithm 842: A set of GMRES routines for...
  • LAPACK

  • Referenced in 1582 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LiDIA

  • Referenced in 52 articles [sw00518]
  • LiDIA: A library for computational number theory. LiDIA...