• Finito

  • Referenced in 18 articles [sw38276]
  • have shown that smooth strongly convex finite sums can be minimized faster than by treating...
  • D-ADMM

  • Referenced in 25 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 4 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 5 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 3 articles [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 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CASA

  • Referenced in 105 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

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

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

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

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 197 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • MA57

  • Referenced in 92 articles [sw00536]
  • MA57 - a code for the solution of sparse...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

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