
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...

ADOLC
 Referenced in 249 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ALBERT
 Referenced in 82 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

ALIBABA
 Referenced in 1 article
[sw00028]
 The ALIBABA nonlinear optimization package. The purpose of...

AMD
 Referenced in 60 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

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

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

BBVSCG
 Referenced in 6 articles
[sw00069]
 BBVSCG  A variablestorage algorithm for function minimization...

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

BPMPD
 Referenced in 41 articles
[sw00088]
 BPMPD is a stateoftheart implementation...

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

cdd
 Referenced in 115 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

CHABIS
 Referenced in 19 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...

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

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

complib
 Referenced in 34 articles
[sw00149]
 COMPlib: COnstraint matrixoptimization problem library–a collection...

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

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