
BEMLIB
 Referenced in 101 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

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

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

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

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

BIGEBRA
 Referenced in 19 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

CASA
 Referenced in 95 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CGAL
 Referenced in 355 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

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

CLUCalc
 Referenced in 33 articles
[sw00133]
 CLUCalc is a freely available software tool for...

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

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

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

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

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

DCUHRE
 Referenced in 22 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...

DEMiCs
 Referenced in 21 articles
[sw00196]
 DEMiCs is a software package written in C...