• GloptiPoly

  • Referenced in 322 articles [sw04343]
  • hierarchy of semidefinite programming (SDP), or linear matrix inequality (LMI) relaxations of the GPM, whose...
  • SparsePOP

  • Referenced in 66 articles [sw04331]
  • POPs when applying “a hierarchy of LMI relaxations of increasing dimensions” Lasserre [2006]. The efficiency...
  • TSSOS

  • Referenced in 13 articles [sw36859]
  • obtain a new converging hierarchy of semidefinite programming relaxations. The novelty (and distinguishing feature...
  • REPOP

  • Referenced in 5 articles [sw41948]
  • optimal solution, by employing appropriate convex relaxations of the original problem. In this direction ... solve it using a hierarchy of relative entropy relaxations. In contrast to sum of squares ... address polynomial optimization problems using relative entropy relaxations. The toolbox is equipped with appropriate ... convergent hierarchy which combines aspects from sum of squares and relative entropy relaxations. The proposed...
  • Ncpol2sdpa

  • Referenced in 4 articles [sw17564]
  • noncommuting variables. A hierarchy of semidefinite programming (SDP) relaxations approximates the global optimum of polynomial...
  • BBCPOP

  • Referenced in 6 articles [sw31757]
  • MATLAB implementation of a hierarchy of sparse doubly nonnegative (DNN) relaxations of a class...
  • NLCertify

  • Referenced in 4 articles [sw08786]
  • bounds of t using a hierarchy of semidefinite (SDP) relaxations, via an interface with...
  • ALPS

  • Referenced in 17 articles [sw00036]
  • design of two other libraries forming a hierarchy built on top of ALPS. The first ... obtained by solving some sort of relaxation, usually Lagrangian. In this layer, the notion...
  • BiCePS

  • Referenced in 9 articles [sw06321]
  • design of two other libraries forming a hierarchy built on top of ALPS. The first ... obtained by solving some sort of relaxation, usually Lagrangian. In this layer, the notion...
  • Gmunu

  • Referenced in 1 article [sw40452]
  • Multigrid methods solve differential equations with a hierarchy of discretizations and its computational cost ... than other methods such as direct methods, relaxation methods, successive over-relaxation. With multigrid acceleration...
  • PyMGRIT

  • Referenced in 1 article [sw41105]
  • simulation, using a time-grid hierarchy. The PyMGRIT framework includes many different variants ... ranging from different multigrid cycle types and relaxation schemes, various coarsening strategies, including time-only...
  • bsmKinetic

  • Referenced in 0 articles [sw22296]
  • frequency vibrational mode in solvents with several relaxation timescales. The software provides simulation ... code for pseudorandom number generator and a hierarchy of custom parallelization of the stochastic trajectories...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

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

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

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Diffpack

  • Referenced in 115 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • GAP

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

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