
REDUCE
 Referenced in 742 articles
[sw00789]
 symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions and extending...

INTLAB
 Referenced in 439 articles
[sw04004]
 univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including vectors ... matrices (very fast) interval arithmetic for real and complex sparse matrices (very fast) automatic differentiation ... interpreted, reference implementation, slow) multiple precision interval arithmetic with error bounds (does the job, slow...

INTOPT_90
 Referenced in 305 articles
[sw04705]
 monograph gives a survey of interval arithmetic based methods for solving systems of equations ... almost unavoidable part of optimization. The interval arithmetic philosophy of selfvalidation is followed ... software and library packages for interval arithmetic and the solvers for the above mentioned problems ... first chapter (69 pages) introduces interval arithmetic, solving linear interval equations, automatic differentiation and code...

z3
 Referenced in 515 articles
[sw04887]
 Microsoft Research.Z3 supports linear real and integer arithmetic, fixedsize bitvectors, extensional arrays, uninterpreted...

BLAS
 Referenced in 491 articles
[sw03216]
 MACHAR software for dynamically determining machinedependent arithmetic properties...

MUMPS
 Referenced in 459 articles
[sw04013]
 matrices; general unsymmetric matrices; Version for complex arithmetic; Parallel factorization and solve phases (uniprocessor version...

gmp
 Referenced in 274 articles
[sw00363]
 free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point ... achieved by using fullwords as the basic arithmetic type, by using fast algorithms, with highly...

MPFR
 Referenced in 216 articles
[sw03312]
 ANSI/IEEE754 standard for doubleprecision floatingpoint arithmetic (53bit significand). MPFR is free...

ISOLATE
 Referenced in 213 articles
[sw07741]
 seminumerical version, using multiprecision interval arithmetic. We finally show that these critical optimizations...

NQTHM
 Referenced in 149 articles
[sw07543]
 integration of a linear arithmetic decision procedure and the addition of a rather primitive facility...

Yices
 Referenced in 142 articles
[sw04436]
 symbols with equality, linear real and integer arithmetic, scalar types, recursive datatypes, tuples, records, extensional...

PROFIL/BIAS
 Referenced in 133 articles
[sw00733]
 PROFIL is based on BIAS (Basic Interval Arithmetic Subroutines). The developement of BIAS was guided...

Why3
 Referenced in 131 articles
[sw04438]
 library of logical theories (integer and real arithmetic, Boolean operations, sets and maps...

Taylor
 Referenced in 90 articles
[sw10816]
 package provides support for several extended precision arithmetics, including userdefined types. par The authors ... true for integrations that require extended precision arithmetic. The main drawback is that the Taylor...

LISPSTAT
 Referenced in 116 articles
[sw01111]
 Common Lisp. LispStat extends standard Lisp arithmetic operations to perform elementwise operations...

PHAVer
 Referenced in 116 articles
[sw04123]
 dynamics of the system. PHAVer’s exact arithmetic is robust...

Risa/Asir
 Referenced in 113 articles
[sw00806]
 which performs basic algebraic operations, such as arithmetic operations, to algebraic objects, e.g., numbers...

PASCALXSC
 Referenced in 103 articles
[sw18863]
 upon a properly defined and implemented computer arithmetic in the usual spaces of numerical computation...

MultRoot
 Referenced in 99 articles
[sw00604]
 accuracy on multiple roots without using multiprecision arithmetic, even if the polynomial coefficients are inexact...

FADBAD++
 Referenced in 57 articles
[sw04863]
 differentiate functions that are implemented in arithmetic types, such as doubles and intervals ... template types also behave like arithmetic types. This property of the ADtemplates enables ... replacing all occurrences of the original arithmetic type with the ADtemplate version. This transparency...