
Couenne
 Referenced in 68 articles
[sw04347]
 software package named couenne (Convex Over and UnderENvelopes for Nonlinear Estimation) and used...

CGAL
 Referenced in 394 articles
[sw00118]
 curves and their applications (2D and 3D envelopes, Minkowski sums), mesh generation (2D Delaunay mesh ... approximation of ridges and umbilics), alpha shapes, convex hull algorithms...

na24
 Referenced in 16 articles
[sw11485]
 computation of a lower envelope of parabolas, or, in the convex case, the non expansiveness...

CENSO
 Referenced in 1 article
[sw15720]
 nonconvex, possibly splineconstrained, MINLP problems. Convex ENvelopes for Spline Optimization (CENSO...

CCA
 Referenced in 5 articles
[sw30994]
 nonconvex univariate functions, and to compute fundamental convex analysis transforms. Functions can be entered explicitly ... Fenchel transform, the Moreau envelope, the (generalized) proximal average, the convex hull, the subdifferential...

pyStoNED
 Referenced in 1 article
[sw40063]
 convex quantile regression, convex expectile regression, isotonic regression, stochastic nonparametric envelopment of data, and related...

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

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

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

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

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

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

GLOPT
 Referenced in 19 articles
[sw00359]
 GLOPT is a Fortran 77 program for global...

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

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

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

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

Macaulay2
 Referenced in 1921 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...