
DADMM
 Referenced in 16 articles
[sw28440]
 each node. The goal is to minimize the sum of all the cost functions, constraining ... when all the functions are strongly convex, although in practice, convergence is observed even when...

DEXTRA
 Referenced in 3 articles
[sw24935]
 when n agents reach agreement and collaboratively minimize the sum of their local objective functions ... general convex objective functions and O(ln k/k) when the objective functions are strongly convex...

LPCCbnc
 Referenced in 4 articles
[sw31750]
 with linear complementarity constraints (LPCC) requires the minimization of a linear objective over ... results show that our approach is a strong alternative to constructing an integer programming formulation ... instances generated from bilevel programs with convex quadratic lower level problems...

ADDOPT
 Referenced in 1 article
[sw25783]
 optimization problems where the goal is to minimize a sum of objective functions over ... interagent communication is described by a stronglyconnected, emph{directed} graph. The proposed algorithm ... given stronglyconvex, objective functions with globally Lipschitzcontinuous gradients, where k is the number...

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

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

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

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

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

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

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

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

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

MA57
 Referenced in 85 articles
[sw00536]
 MA57  a code for the solution of sparse...

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

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

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

MapReduce
 Referenced in 241 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

Matlab
 Referenced in 11784 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...