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

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

ADOLF
 Referenced in 8 articles
[sw00020]
 The package ADOLF is a Fortran 90...

AGD
 Referenced in 12 articles
[sw00022]
 AGDLibrary: A Library of Algorithms for Graph...

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

Apron
 Referenced in 51 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

ARVO
 Referenced in 14 articles
[sw00049]
 ARVO: A Fortran package for computing the solvent...

ATLAS
 Referenced in 188 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

BoomerAMG
 Referenced in 105 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

Cadabra
 Referenced in 40 articles
[sw00097]
 Cadabra is a powerful computer program for the...

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

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

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

CoCoALib
 Referenced in 31 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

CONSLAW
 Referenced in 7 articles
[sw00155]
 An improved algorithm to explicitly compute the polynomial...

COOPT
 Referenced in 5 articles
[sw00158]
 The paper is devoted to promoting and describing...

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

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

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