• BlockPDPS.jl

  • Referenced in 3 articles [sw39173]
  • written as compositions (G(x)+F(K(x))) of non-smooth block-separable convex functions...
  • ProxSARAH

  • Referenced in 9 articles [sw35438]
  • first-order algorithmic framework to solve stochastic composite nonconvex optimization problems that covers both finite ... algorithms. The algorithms only require an average smoothness assumption of the nonconvex objective term ... also specify our framework to the non-composite case that covers existing state...
  • PCA_SA

  • Referenced in 1 article [sw38319]
  • explores the polynomial approximation of smooth, non-differentiable and non-Lipschitz continuous functions ... univariate case is achieved by extended (or composite) Trapezoidal and Simpson’s rules...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • 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...
  • hypre

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

  • Referenced in 310 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...
  • KNITRO

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

  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

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

  • Referenced in 96 articles [sw00516]
  • The program system LGO serves to solve global...
  • 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...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...