
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 objectoriented 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 overapproximation 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 specialpurpose 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 largescale 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...