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

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

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

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

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

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

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

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

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

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

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

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

CONHYP
 Referenced in 3 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 1365 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

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

DCUHRE
 Referenced in 19 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...