-
BEMLIB
- Referenced in 108 articles
[sw00005]
- BEMLIB is a boundary-element software library of...
-
2LEV-D2P4
- Referenced in 10 articles
[sw00009]
- We present a package of parallel preconditioners which...
-
ACRITH-XSC
- Referenced in 49 articles
[sw00015]
- ACRITH-XSC is a Fortran-like 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...
-
Bi-CG
- Referenced in 34 articles
[sw00076]
- Bi-CG: 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...
-
C-XSC
- Referenced in 110 articles
[sw00181]
- C-XSC. A programming environment for verified scientific...
-
C-XSC 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...
