
ADOLC
 Referenced in 221 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 81 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 643 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

Apron
 Referenced in 66 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

ARfit
 Referenced in 34 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 195 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 274 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 169 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

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

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

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

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

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

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

CHABIS
 Referenced in 18 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...