
LSMM
 Referenced in 2 articles
[sw07010]
 Majorizeminimize 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 illconditioned 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 ... stepsize, DEXTRA converges at a linear rate O(τk) for 0 <; τ <; 1, given...

EIACNDP
 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 KGroupDivisionProblem ... present a mixed integer linear programming model to solve it. We prove that under certain...

ADOLC
 Referenced in 257 articles
[sw00019]
 ADOLC: 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]
 HOM4PS2.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...