• IBEX

  • Referenced in 12 articles [sw11947]
  • based on interval arithmetic and affine arithmetic. The main feature of Ibex is its ability...
  • Libaffa

  • Referenced in 2 articles [sw33542]
  • Libaffa is a C++ Affine Arithmetic library for GNU/Linux. Affine Arithmetic is a model proposed...
  • Affine Arithmetic

  • Referenced in 1 article [sw28797]
  • Affine Arithmetic. We give a formalization of affine forms as abstract representations of zonotopes ... functions approximating the original expression in affine arithmetic...
  • YalAA

  • Referenced in 1 article [sw33228]
  • YalAA - Yet Another Library for Affine Arithmetic. YalAA is an object-oriented C++ based template ... library for affine arithmetic (AA). Similarly to interval arithmetic (IA), this computation model allows...
  • aaflib

  • Referenced in 1 article [sw34015]
  • aaflib - An Affine Arithmetic C++ Library. The aaflib is an implementation of the mathematical construct ... affine arithmetics in C++. This construct has been introduced by Stolfi et. al. Their...
  • HECC

  • Referenced in 27 articles [sw03475]
  • cryptosystems over GF (2 m ). A compact arithmetic logic unit (ALU) is proposed to perform ... show that divisor multiplication using affine coordinates can be efficiently supported. Besides, the required throughput...
  • raSAT

  • Referenced in 8 articles [sw15206]
  • prepares various interval arithmetics as over-approximation theories, which are mostly Affine intervals. It also...
  • Miniball

  • Referenced in 44 articles [sw05179]
  • they can efficiently be realized with rational arithmetic. An implementation (along with a fast ... assume that the ball centers are affinely independent. Via a geometric transformation and suitable generalization...
  • Apron

  • Referenced in 71 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CASA

  • Referenced in 111 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

  • Referenced in 119 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CSDP

  • Referenced in 206 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LANCELOT

  • Referenced in 310 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 410 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...