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

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

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

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

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

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

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

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

CADNA
 Referenced in 46 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 19 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...

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

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

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

Coq
 Referenced in 1888 articles
[sw00161]
 Coq is a formal proof management system. It...

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

CXSC
 Referenced in 110 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 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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