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

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

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

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

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

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

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

CELEFUNT
 Referenced in 3 articles
[sw00117]
 This paper discusses CELEFUNT, a package of Fortran...

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

CoCoA
 Referenced in 476 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 154 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming This...

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

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

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

GAP
 Referenced in 1666 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GeM
 Referenced in 46 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

gfun
 Referenced in 103 articles
[sw00344]
 The gfun package provides tools for determining and...