• Zinc

  • Referenced in 26 articles [sw08334]
  • predicates and automatic coercion and provides arithmetic, finite domain and set constraints. Second, while Zinc...
  • mpFq

  • Referenced in 19 articles [sw09337]
  • exchanges. We present a library for finite field arithmetic. The originality of this library lies ... code is automatically produced for the selected finite fields. The opportunity of compile-time optimizations...
  • SmartMobile

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

  • Referenced in 12 articles [sw05348]
  • implemented. Operations on binary polynomials and arithmetics in finite fields GF(2^n) are included...
  • Beaver

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

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

  • Referenced in 13 articles [sw32569]
  • instances include basic arithmetic and actions; GCRD and LCLM; D-finite closure properties; natural transformations...
  • FaCiLe

  • Referenced in 4 articles [sw31028]
  • facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear...
  • CoxIter

  • Referenced in 6 articles [sw13972]
  • cocompact or of finite covolume, whether it is arithmetic in the non-cocompact case...
  • Fermat

  • Referenced in 42 articles [sw00277]
  • Lewis of Fordham University, that does arithmetic of arbitrarily long integers and fractions, multivariate polynomials ... matrix algebra over the rationals Q and finite fields. On the Mac side, there...
  • Cogent

  • Referenced in 14 articles [sw01300]
  • supports finite machine-level variables, bit operations, structures, unions, references, pointers and pointer arithmetic. When...
  • cqt-toolbox

  • Referenced in 8 articles [sw38890]
  • toolbox: Quasi-Toeplitz matrix arithmetic: a MATLAB toolbox. The CQT toolbox provides a new MATLAB ... finite-dimensional correction in the top-left corner. The arithmetic, plus many additional functions...
  • Caravel

  • Referenced in 2 articles [sw40099]
  • level amplitudes in floating point or finite-field arithmetic, the numerical computation...
  • LMBOPT

  • Referenced in 2 articles [sw42606]
  • adding various safeguards relevant when finite precision arithmetic is used, and adds many practical enhancements...
  • Givaro

  • Referenced in 7 articles [sw00354]
  • basic arithmetic of many mathematical entities: Primes fields, Extensions Fields, Finite Fields, Finite Rings, Polynomials...
  • cc(FD)

  • Referenced in 18 articles [sw21237]
  • declarative nondeterministic constraint logic language over finite domains based on the cc framework ... scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated...
  • IntervalArithmetic.jl

  • Referenced in 3 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...
  • MSSMOBILE

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

  • Referenced in 30 articles [sw00411]
  • that of a functor between categories of finitely presented modules over so-called computable rings ... extend any computer algebra software implementing the arithmetics of a computable ring R, as soon...
  • Algorithm 722

  • Referenced in 5 articles [sw12580]
  • IEEE standard for binary floating-point arithmetic. This paper describes C programs for the support ... scalb(x,n), nextafter(x,y), finite(x), and isnan(x) recommended in the Appendix ... IEEE Standard for Binary Floating-Point Arithmetic. In the case of logb, the modified definition...