• REDUCE

  • Referenced in 742 articles [sw00789]
  • expansion and ordering of polynomials and rational functions; substitutions and pattern matching in a wide ... precision integer and real arithmetic; facilities for defining new functions and extending program syntax; analytic...
  • INTLAB

  • Referenced in 439 articles [sw04004]
  • quadrature for univariate functions univariate polynomial zeros (simple and clusters) interval arithmetic for real ... including vectors and matrices (very fast) interval arithmetic for real and complex sparse matrices (very ... global optimization) Taylor series for univariate functions automatic slopes (sequential approach, slow for many variables ... accurate,  3 ulps) rigorous complex interval standard functions (fast, rigorous, but not necessarily sharp inclusions...
  • z3

  • Referenced in 515 articles [sw04887]
  • real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers...
  • FOCI

  • Referenced in 58 articles [sw12868]
  • interpreted theories, such as equality, uninterpreted functions, linear arithmetic, and arrays. Most importantly...
  • Yices

  • Referenced in 142 articles [sw04436]
  • formulas containing uninterpreted function symbols with equality, linear real and integer arithmetic, scalar types, recursive...
  • FADBAD++

  • Referenced in 57 articles [sw04863]
  • user to 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 ... differentiate a C++ function by replacing all occurrences of the original arithmetic type with...
  • MathSAT

  • Referenced in 58 articles [sw09449]
  • combinations of) equality and uninterpreted functions, difference logic, linear arithmetic, and the theory ... used in formal verification, and thus provides functionalities which extend the applicability...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • analytical expressions involving usual arithmetic operations and transcendental elementary functions. Rigourousness: Realpaver covers the solution ... benchmarks are also provided. Interval arithmetic is supported by gaol...
  • ICS

  • Referenced in 20 articles [sw21618]
  • rich combination of datatypes including arithmetic, functional arrays, tuples, cotuples, and fixed-sized bitvectors...
  • gmp

  • Referenced in 274 articles [sw00363]
  • free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point ... rich set of functions, and the functions have a regular interface. The main target applications ... achieved by using fullwords as the basic arithmetic type, by using fast algorithms, with highly...
  • iRRAM

  • Referenced in 39 articles [sw08769]
  • capabilities range from ordinary arithmetic over trigonometric functions to linear algebra even with sparse matrices...
  • hlib

  • Referenced in 70 articles [sw04080]
  • operations. The library contains functions for H- and H2-matrix arithmetics, the treatment of partial...
  • mpmath

  • Referenced in 43 articles [sw05802]
  • arbitrary-precision floating-point arithmetic. It implements the standard functions from Python’s math ... plus a few nonelementary special functions (gamma, zeta, etc.), and has utilities for arbitrary-precision ... numerical differentiation, integration, root-finding, and interval arithmetic. It supports unlimited exponent sizes, has full...
  • INTLIB

  • Referenced in 29 articles [sw00444]
  • function library. INTLIB is meant to be a readily available, portable, exhaustively documented interval arithmetic ... composed of elementary interval arithmetic routines, standard function routines for interval data and values...
  • Algorithm 719

  • Referenced in 41 articles [sw13183]
  • that perform a variety of arithmetic operations and transcendental functions on floating point numbers...
  • Snap

  • Referenced in 30 articles [sw20131]
  • uses Pari’s high precision arithmetic and number theoretic functions to compute invariant trace fields ... manifold invariants. See the paper, Computing arithmetic invariants of 3-manifolds by Coulson, Goodman, Hodgson...
  • Coq/SSReflect

  • Referenced in 68 articles [sw09360]
  • Ssreflect library arithmetic comparison is not an abstract predicate, but a function computing a boolean...
  • Algorithm 693

  • Referenced in 25 articles [sw08017]
  • performs floating-point multiple-precision arithmetic and elementary functions. Results are almost always correctly rounded...
  • Algorithm 786

  • Referenced in 12 articles [sw04671]
  • Algorithm 786: Multiple-precision complex arithmetic and functions. This article describes a collection of Fortran ... routines for multiple-precision complex arithmetic and elementary functions. The packing provides good exception handling ... different machines, the user can change the arithmetic type used to represent the multiple-precision...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • arithmetic, accurate vector/matrix arithmetic, an enlarged set of mathematical standard functions for point and interval...