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

ADOLF
 Referenced in 10 articles
[sw00020]
 The package ADOLF is a Fortran 90...

ALBERT
 Referenced in 82 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

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...

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...

ARVO
 Referenced in 14 articles
[sw00049]
 ARVO: A Fortran package for computing the solvent...

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...

Beaver
 Referenced in 10 articles
[sw00071]
 Beaver: Engineering an efficient SMT solver for bit...

BIGEBRA
 Referenced in 21 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

Blitz++
 Referenced in 35 articles
[sw00082]
 Blitz++ provides dense numeric arrays for C++ with...

Boolector
 Referenced in 31 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

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

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CCSP
 Referenced in 14 articles
[sw00111]
 CCSP: A formal system for distributed program debugging...

cdd
 Referenced in 115 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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