-
ADOL-C
- Referenced in 186 articles
[sw00019]
- ADOL-C: Automatic Differentiation of C/C++ We present...
-
ADOL-F
- Referenced in 8 articles
[sw00020]
- The package ADOL-F is a Fortran 90...
-
Aligator
- Referenced in 8 articles
[sw00029]
- We describe the new software package Aligator for...
-
ALPAL
- Referenced in 6 articles
[sw00033]
- ALPAL: A tool to generate simulation codes from...
-
ALPO
- Referenced in 10 articles
[sw00035]
- This paper describes an implementation of the one...
-
ANSYS
- Referenced in 497 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
ARVO
- Referenced in 14 articles
[sw00049]
- ARVO: A Fortran package for computing the solvent...
-
ASTRA
- Referenced in 12 articles
[sw00052]
- Fault Tree Analysis (FTA) is a formalised deductive...
-
ACL2
- Referenced in 239 articles
[sw00060]
- ACL2 is both a programming language in which...
-
AXIOM
- Referenced in 161 articles
[sw00063]
- Axiom is a general purpose Computer Algebra system...
-
Bagel
- Referenced in 2 articles
[sw00065]
- This paper presents two coupled software packages which...
-
BARON
- Referenced in 242 articles
[sw00066]
- BARON is a computational system for solving nonconvex...
-
Bi-CG
- Referenced in 34 articles
[sw00076]
- Bi-CG: An effective solver for three fields...
-
BoomerAMG
- Referenced in 112 articles
[sw00086]
- BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
-
BPOLY
- Referenced in 12 articles
[sw00089]
- Algorithm 812: BPOLY: An object-oriented library of...
-
CADNA
- Referenced in 30 articles
[sw00098]
- CADNA: a library for estimating round-off error...
-
CGAL
- Referenced in 270 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
Chaste
- Referenced in 25 articles
[sw00122]
- Chaste: incorporating a novel multi-scale spatial and...
-
Cinderella
- Referenced in 131 articles
[sw00127]
- An Interactive Geometry Software. Besides support for dynamic...
