• 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...
  • Sparse-BSOS

  • 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 Sparse-BSOS 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 polynomial-time 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 Wick-Theorem (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...