-
ADOL-C
- Referenced in 249 articles
[sw00019]
- ADOL-C: Automatic Differentiation of C/C++. We present...
-
ADOL-F
- Referenced in 10 articles
[sw00020]
- The package ADOL-F is a Fortran 90...
-
Aligator
- Referenced in 10 articles
[sw00029]
- We describe the new software package Aligator for...
-
ALPAL
- Referenced in 7 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 704 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 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...
-
Bagel
- Referenced in 3 articles
[sw00065]
- This paper presents two coupled software packages which...
-
BARON
- Referenced in 354 articles
[sw00066]
- BARON is a computational system for solving nonconvex...
-
BayesCalc
- Referenced in 3 articles
[sw00068]
- A package, BayesCalc, is presented that extends the...
-
Bi-CG
- Referenced in 34 articles
[sw00076]
- Bi-CG: An effective solver for three fields...
-
BPOLY
- Referenced in 13 articles
[sw00089]
- Algorithm 812: BPOLY: An object-oriented library of...
-
CADNA
- Referenced in 46 articles
[sw00098]
- CADNA: a library for estimating round-off error...
-
CGAL
- Referenced in 394 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
Chaste
- Referenced in 52 articles
[sw00122]
- Chaste: incorporating a novel multi-scale spatial and...
-
Cinderella
- Referenced in 153 articles
[sw00127]
- An Interactive Geometry Software. Besides support for dynamic...
-
CLIFFORD
- Referenced in 84 articles
[sw00131]
- CLIFFORD performs various computations in Grass mann and...