
ACETAF
 Referenced in 6 articles
[sw00014]
 ACETAF: A software package for computing validated bounds...

ACRITHXSC
 Referenced in 46 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 188 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

AMBRE
 Referenced in 22 articles
[sw00038]
 AMBRE  a Mathematica package for the construction of...

ANSYS
 Referenced in 533 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

AXIOM
 Referenced in 161 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BOKASUN
 Referenced in 4 articles
[sw00084]
 BOKASUN: a fast and precise numerical program to...

CADNA
 Referenced in 30 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

CELEFUNT
 Referenced in 6 articles
[sw00117]
 Algorithm 714: CELEFUNT: a portable test package for...

CHABIS
 Referenced in 16 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...

CLIFFORD
 Referenced in 56 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 543 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CONHYP
 Referenced in 3 articles
[sw00152]
 Algorithm 707: CONHYP: A numerical evaluator of the...

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

CXSC
 Referenced in 103 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

Engel
 Referenced in 2 articles
[sw00238]
 Engel expansions of qseries by computer algebra...

Expokit
 Referenced in 130 articles
[sw00258]
 Expokit provides a set of routines aimed at...

FeynHiggs
 Referenced in 40 articles
[sw00282]
 FeynHiggs: a program for the calculation of MSSM...

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

FLINT
 Referenced in 28 articles
[sw00297]
 Fast library for number theory: an introduction. We...