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

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

ADOLF
 Referenced in 9 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 533 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 190 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 116 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

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

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

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

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

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

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

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