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

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

COMPAS
 Referenced in 15 articles
[sw00147]
 In this paper we describe COMPAS  the open...

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

CSDP
 Referenced in 206 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

Dafny
 Referenced in 74 articles
[sw00183]
 Dafny is an imperative objectbased language with...

DCUTRI
 Referenced in 12 articles
[sw00191]
 Algorithm 706: DCUTRI: an algorithm for adaptive cubature...

DEA
 Referenced in 246 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

EIGIFP
 Referenced in 46 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...

FIAT
 Referenced in 44 articles
[sw00287]
 Algorithm 839: FIAT, a new paradigm for computing...

GAP
 Referenced in 3221 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 120 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

HOM4PS
 Referenced in 82 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

HSL
 Referenced in 284 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...