
GloptiPoly
 Referenced in 291 articles
[sw04343]
 after some transformation) of the GPM with polynomial data.The approach is similar to that used ... software allows to build up a hierarchy of semidefinite programming (SDP), or linear matrix inequality...

SparsePOP
 Referenced in 61 articles
[sw04331]
 sparse structure of polynomials in POPs when applying “a hierarchy of LMI relaxations of increasing...

SparseBSOS
 Referenced in 10 articles
[sw31772]
 BSOS: a bounded degree SOS hierarchy for large scale polynomial optimization with sparsity. We provide ... hierarchy BSOS (Lasserre et al. in EURO J Comp Optim:87–117, 2017) for polynomial ... running intersection property this SparseBSOS hierarchy of semidefinite programs (with semidefinite constraints of fixed...

CEL
 Referenced in 15 articles
[sw12477]
 reasoning task the computation of the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ... other modern DL reasoners, it implements a polynomialtime algorithm. The supported description logic...

Ncpol2sdpa
 Referenced in 3 articles
[sw17564]
 programming relaxations for polynomial optimization problems of noncommuting variables. A hierarchy of semidefinite programming...

NLCertify
 Referenced in 4 articles
[sw08786]
 polynomial, the tool computes lower and upper bounds of t using a hierarchy of semidefinite ... transcendental functions with best uniform (or minimax) polynomials as well as maxplus estimators. Univariate minimax...

BBCPOP
 Referenced in 3 articles
[sw31757]
 hierarchy of sparse doubly nonnegative (DNN) relaxations of a class of polynomial optimization (minimization) problems...

Rings
 Referenced in 2 articles
[sw22196]
 rings. Basic algebra, GCDs and factorization of polynomials are implemented with the use of modern ... algebra and a fully typed hierarchy of mathematical structures. Scala API additionally brings powerful strongly...

ccr_car_algebra
 Referenced in 1 article
[sw20533]
 mind, but the package can deal with polynomials of any algebra given by its commutation ... particular to the so called WickTheorem (hierarchy of functionals, truncated functionals), a somewhat more...

ALBERT
 Referenced in 81 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 277 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 170 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 308 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Coq
 Referenced in 1776 articles
[sw00161]
 Coq is a formal proof management system. It...

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

DEA
 Referenced in 242 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

Diffpack
 Referenced in 112 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

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