
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 overrelaxation. With multigrid acceleration...

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

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...