• 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 log-determinant 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...