-
ACRITH-XSC
- Referenced in 49 articles
[sw00015]
- ACRITH-XSC is a Fortran-like programming language...
-
ADOL-C
- Referenced in 249 articles
[sw00019]
- ADOL-C: Automatic Differentiation of C/C++. We present...
-
AGD
- Referenced in 12 articles
[sw00022]
- AGD-Library: A Library of Algorithms for Graph...
-
ALBERT
- Referenced in 82 articles
[sw00025]
- ALBERT - Software for scientific computations and applications. Adaptive...
-
Alpaga
- Referenced in 7 articles
[sw00032]
- Alpaga: A Tool for Solving Parity Games with...
-
ALPO
- Referenced in 10 articles
[sw00035]
- This paper describes an implementation of the one...
-
ALPS
- Referenced in 17 articles
[sw00036]
- This paper describes the design of the Abstract...
-
AMD
- Referenced in 60 articles
[sw00039]
- Algorithm 837: AMD is a set of routines...
-
ANSYS
- Referenced in 704 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
Apron
- Referenced in 69 articles
[sw00045]
- Apron: a library of numerical abstract domains for...
-
ARfit
- Referenced in 38 articles
[sw00046]
- ARfit is a collection of Matlab modules for...
-
ASTA
- Referenced in 16 articles
[sw00051]
- ASTA is a tool for research in predictions...
-
ATLAS
- Referenced in 199 articles
[sw00056]
- This paper describes the Automatically Tuned Linear Algebra...
-
ACL2
- Referenced in 283 articles
[sw00060]
- ACL2 is both a programming language in which...
-
AXIOM
- Referenced in 173 articles
[sw00063]
- Axiom is a general purpose Computer Algebra system...
-
BARON
- Referenced in 354 articles
[sw00066]
- BARON is a computational system for solving nonconvex...
-
BBVSCG
- Referenced in 6 articles
[sw00069]
- BBVSCG - A variable-storage algorithm for function minimization...
-
BCYCLIC
- Referenced in 4 articles
[sw00070]
- A block tridiagonal matrix is factored with minimal...
-
Bi-CG
- Referenced in 34 articles
[sw00076]
- Bi-CG: An effective solver for three fields...