• 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, fixed-size bit-vectors, extensional arrays, uninterpreted...
  • BLAS

  • Referenced in 491 articles [sw03216]
  • MACHAR software for dynamically determining machine-dependent 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/IEEE-754 standard for double-precision floating-point arithmetic (53-bit significand). MPFR is free...
  • ISOLATE

  • Referenced in 213 articles [sw07741]
  • semi-numerical version, using multi-precision 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 user-defined types. par The authors ... true for integrations that require extended precision arithmetic. The main drawback is that the Taylor...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • Common Lisp. Lisp-Stat extends standard Lisp arithmetic operations to perform element-wise 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...
  • PASCAL-XSC

  • 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 AD-templates enables ... replacing all occurrences of the original arithmetic type with the AD-template version. This transparency...