
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 finiteprecision arithmetic of digital computers. The rounding errors...

Beaver
 Referenced in 9 articles
[sw00071]
 theory of quantifierfree finiteprecision bitvector 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 oatingpoint calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package ... Julia, i.e. rigorous computations with finiteprecision floatingpoint 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]
 KrammersHenneberger potentials and take account of finite nucleus models. The program is easy ... perform calculations within double or quadrupleprecision arithmetic...

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

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 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...