
BEMLIB
 Referenced in 82 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

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

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

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

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

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

BARON
 Referenced in 269 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

CADNA
 Referenced in 32 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

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

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

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

Concepts
 Referenced in 17 articles
[sw00151]
 The authors show how mathematical concepts can be...

CONHYP
 Referenced in 4 articles
[sw00152]
 Algorithm 707: CONHYP: A numerical evaluator of the...

CONVUS
 Referenced in 3 articles
[sw00157]
 CONVUS  an efficient package for calculating threedimensional...

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

Cuba
 Referenced in 46 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

CUBPACK
 Referenced in 28 articles
[sw00175]
 CUBPACK aims to offer a collection of re...

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

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