• D-ADMM

  • 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...
  • ADD-OPT

  • Referenced in 1 article [sw25783]
  • optimization problems where the goal is to minimize a sum of objective functions over ... inter-agent communication is described by a strongly-connected, emph{directed} graph. The proposed algorithm ... given strongly-convex, objective functions with globally Lipschitz-continuous 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 special-purpose 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 high-level language and interactive...