
AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

BCYCLIC
 Referenced in 4 articles
[sw00070]
 A block tridiagonal matrix is factored with minimal...

BiCG
 Referenced in 34 articles
[sw00076]
 BiCG: An effective solver for three fields...

Blitz++
 Referenced in 35 articles
[sw00082]
 Blitz++ provides dense numeric arrays for C++ with...

BoomerAMG
 Referenced in 201 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

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

CANM
 Referenced in 5 articles
[sw00101]
 CANM, a program for numerical solution of a...

CAPLib
 Referenced in 3 articles
[sw00104]
 The Computer Aided Parallelisation Tools (CAPTools) [C. Ierotheou...

CartGen
 Referenced in 5 articles
[sw00107]
 An efficient and easy to implement method to...

CD2D3D
 Referenced in 1 article
[sw00113]
 CD2D3D – a package to solve convectiondominated problems...

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

Chaste
 Referenced in 54 articles
[sw00122]
 Chaste: incorporating a novel multiscale spatial and...

CHEMSODE
 Referenced in 11 articles
[sw00124]
 The ODEs describing a chemical kinetics system can...

Chronos
 Referenced in 5 articles
[sw00125]
 The EDPEPPS toolset is the fruit of a...

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

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

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

CsegGraph
 Referenced in 7 articles
[sw00170]
 CsegGraph: a graph colouring instance generator. The implementation...

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