• LSMM

  • Referenced in 2 articles [sw07010]
  • Majorize-minimize linesearch for inversion methods involving barrier function optimization The authors consider the frequent ... unknown discretized object $x^0inbfR^N$ is represented by a linear model ... varepsilon$ with $K$ being a known ill-conditioned matrix and $varepsilon$ an additive noise term ... efficient inversion methods are based on the minimization of a composite criterion...
  • DEXTRA

  • Referenced in 4 articles [sw24935]
  • reach agreement and collaboratively minimize the sum of their local objective functions over the network ... k/ √k) for general convex objective functions and O(ln k/k) when the objective functions ... strongly convex, where k is the number of iterations. We show that, with the appropriate ... step-size, DEXTRA converges at a linear rate O(τk) for 0 <; τ <; 1, given...
  • EIA-CNDP

  • Referenced in 2 articles [sw38601]
  • vertices whose removal maximizes or minimizes some objective function. In this paper, the focus ... objective function. In this regard, we introduce a new problem called K-Group-Division-Problem ... present a mixed integer linear programming model to solve it. We prove that under certain...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BoomerAMG

  • Referenced in 201 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • cdd

  • Referenced in 119 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

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

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

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

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

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

  • Referenced in 83 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • hypre

  • Referenced in 335 articles [sw00426]
  • hypre is a software library for the solution...
  • KNITRO

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

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 264 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LGO

  • Referenced in 100 articles [sw00516]
  • The program system LGO serves to solve global...
  • Macaulay2

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