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

2LEVD2P4
 Referenced in 10 articles
[sw00009]
 We present a package of parallel preconditioners which...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

AMBRE
 Referenced in 30 articles
[sw00038]
 AMBRE  a Mathematica package for the construction of...

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

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

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

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

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

BOKASUN
 Referenced in 9 articles
[sw00084]
 BOKASUN: a fast and precise numerical program to...

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

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

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

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

COOPT
 Referenced in 5 articles
[sw00158]
 The paper is devoted to promoting and describing...

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

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

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

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