
ABSFAC
 Referenced in 1 article
[sw00012]
 ABSFAC is a FORTRAN program that rapidly and...

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

AIFS
 Referenced in 14 articles
[sw00023]
 A considerable class of fractal sets can be...

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

ARfit
 Referenced in 30 articles
[sw00046]
 ARfit is a collection of Matlab modules for...

ARMS
 Referenced in 49 articles
[sw00048]
 The paper describes new recursive multilevel method for...

ARVO
 Referenced in 14 articles
[sw00049]
 ARVO: A Fortran package for computing the solvent...

ASTA
 Referenced in 16 articles
[sw00051]
 ASTA is a tool for research in predictions...

ASYMPT
 Referenced in 9 articles
[sw00053]
 A FORTRAN program is presented which calculates asymptotics...

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

Catfish
 Referenced in 11 articles
[sw00109]
 CATFISH (Collider grAviTational FIeld Simulator for black Holes...

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

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

COLAMD
 Referenced in 19 articles
[sw00145]
 Two codes are discussed, COLAMD and SYMAMD, that...

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

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

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

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

DEA
 Referenced in 206 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

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