
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...

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

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

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

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

Cinderella
 Referenced in 120 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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

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

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

CoStLy
 Referenced in 3 articles
[sw00163]
 The C++ class library CoStLy for the rigorous...

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

CXSC 2.0
 Referenced in 108 articles
[sw00182]
 A C++ class library for extended scientific computing...

DCUHRE
 Referenced in 10 articles
[sw00190]
 An adaptive routine, DCUHRE, for the numerical integration...

Fermat
 Referenced in 23 articles
[sw00277]
 Fermat is a computer algebra system (CAS) for...

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

FLIPS
 Referenced in 6 articles
[sw00299]
 FLIPS (Fortran Linear Inverse Problem Solver) is a...

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

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

gmp
 Referenced in 149 articles
[sw00363]
 GMP is a free library for arbitrary precision...