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

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 29 articles
[sw00046]
 ARfit is a collection of Matlab modules for...

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

ARVO
 Referenced in 13 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 24 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 79 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

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

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

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

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

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

DPJ
 Referenced in 3 articles
[sw00218]
 The problems generated by the Java language usage...