
complib
 Referenced in 32 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 1837 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

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

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

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

Gerris
 Referenced in 293 articles
[sw00341]
 Gerris is a Free Software program for the...

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

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

IMITATOR
 Referenced in 29 articles
[sw00439]
 IMITATOR is a software tool for parametric verification...

ISOGAT
 Referenced in 300 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

KNITRO
 Referenced in 184 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LANCELOT
 Referenced in 304 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1654 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

LGO
 Referenced in 93 articles
[sw00516]
 The program system LGO serves to solve global...