-
BEMLIB
- Referenced in 101 articles
[sw00005]
- BEMLIB is a boundary-element software library of...
-
FIDAP
- Referenced in 37 articles
[sw00006]
- FIDAP (A Fluid Dynamics Analysis Program). This paper...
-
ADOL-C
- Referenced in 239 articles
[sw00019]
- ADOL-C: Automatic Differentiation of C/C++. We present...
-
ANSYS
- Referenced in 662 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
Apron
- Referenced in 67 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 64 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 variable-storage algorithm for function minimization...
-
Biota
- Referenced in 7 articles
[sw00080]
- Biota is an object-oriented software application for...
-
BoomerAMG
- Referenced in 165 articles
[sw00086]
- BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
-
BPMPD
- Referenced in 40 articles
[sw00088]
- BPMPD is a state-of-the-art implementation...
-
CARP-CG
- Referenced in 9 articles
[sw00105]
- CARP-CG is a conjugate gradient (CG) acceleration...
-
CGAL
- Referenced in 360 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 22 articles
[sw00150]
- R package compositions:Compositional data analysis with R...
-
Coq
- Referenced in 1807 articles
[sw00161]
- Coq is a formal proof management system. It...