
QUIC
 Referenced in 34 articles
[sw11795]
 regularized Gaussian maximum likelihood estimator (MLE) has been shown to have strong statistical guarantees ... inverse covariance matrix, or alternatively the underlying graph structure of a Gaussian Markov Random Field ... resulting optimization problem which is a regularized logdeterminant program. In contrast to recent state...

ProxLOG
 Referenced in 1 article
[sw42603]
 directed acyclic graph. Inducing such structures by means of convex regularizers requires nonsmooth penalty functions ... optimization problem efficiently. In the absence of strong convexity, global linear convergence of the algorithm ... also investigate the effect of the graph structure on the speed of convergence...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

CGAL
 Referenced in 402 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 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

hypre
 Referenced in 334 articles
[sw00426]
 hypre is a software library for the solution...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

LANGAGE
 Referenced in 39 articles
[sw00501]
 LANGAGE: A Maple package for automaton characterization of...

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

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

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

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

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

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