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

ADOLC
 Referenced in 221 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 66 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

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

ARMS
 Referenced in 63 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general...

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 10 articles
[sw00053]
 A FORTRAN program is presented which calculates asymptotics...

ATENSOR
 Referenced in 8 articles
[sw00055]
 ATENSOR  REDUCE program for tensor simplification. Nature of...

Cadabra
 Referenced in 77 articles
[sw00097]
 Cadabra is a powerful computer program for the...

CADNA
 Referenced in 36 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 109 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

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

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

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