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

FIDAP
 Referenced in 37 articles
[sw00006]
 FIDAP (A Fluid Dynamics Analysis Program). This paper...

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

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

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

ARfit
 Referenced in 38 articles
[sw00046]
 ARfit is a collection of Matlab modules for...

ARMS
 Referenced in 65 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general...

ASTA
 Referenced in 16 articles
[sw00051]
 ASTA is a tool for research in predictions...

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

BBVSCG
 Referenced in 6 articles
[sw00069]
 BBVSCG  A variablestorage algorithm for function minimization...

Biota
 Referenced in 7 articles
[sw00080]
 Biota is an objectoriented software application for...

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

BPMPD
 Referenced in 41 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

CARPCG
 Referenced in 10 articles
[sw00105]
 CARPCG is a conjugate gradient (CG) acceleration...

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

CHEMSODE
 Referenced in 11 articles
[sw00124]
 The ODEs describing a chemical kinetics system can...

CNOP
 Referenced in 7 articles
[sw00139]
 CNOP  A package for constrained network optimization. We...

compositions
 Referenced in 23 articles
[sw00150]
 R package compositions:Compositional data analysis with R...

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