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

ALPAL
 Referenced in 7 articles
[sw00033]
 ALPAL: A tool to generate simulation codes from...

AMD
 Referenced in 57 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

ANSYS
 Referenced in 672 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

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

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

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

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

CoCoA
 Referenced in 639 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

complib
 Referenced in 32 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

Coq
 Referenced in 1837 articles
[sw00161]
 Coq is a formal proof management system. It...

CUTE
 Referenced in 64 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

CXSC
 Referenced in 109 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 125 articles
[sw00182]
 A C++ class library for extended scientific computing...

Diffpack
 Referenced in 114 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

Expokit
 Referenced in 184 articles
[sw00258]
 Expokit provides a set of routines aimed at...

Fermat
 Referenced in 41 articles
[sw00277]
 Fermat is a computer algebra system (CAS) for...

FGb
 Referenced in 244 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...