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

CGAL
 Referenced in 350 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 14 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...

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

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

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

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

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

GAP
 Referenced in 2829 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 268 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

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

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

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

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

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

Maple
 Referenced in 5020 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5857 articles
[sw00554]
 Almost any workflow involves computing results, and that...