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

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

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

ALPO
 Referenced in 10 articles
[sw00035]
 This paper describes an implementation of the one...

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

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

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

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

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

Boolector
 Referenced in 10 articles
[sw00085]
 Satisfiability Modulo Theories (SMT) is the problem of...

BoomerAMG
 Referenced in 71 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 80 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

Cinderella
 Referenced in 119 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CirCUs
 Referenced in 8 articles
[sw00128]
 CirCUs is a satisfiability solver that works on...

CLIFFORD
 Referenced in 35 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...