• GloptiPoly

  • Referenced in 327 articles [sw04343]
  • Generalized Problem of Moments (GPM), an infinite-dimensional optimization problem which can be viewed ... various areas of mathematics such as algebra, Fourier analysis, functional analysis, operator theory, probability ... hierarchy of semidefinite programming (SDP), or linear matrix inequality (LMI) relaxations of the GPM, whose...
  • infinite group relaxation

  • Referenced in 24 articles [sw14600]
  • infinite group problem, an infinite-dimensional relaxation of integer linear optimization problems introduced by Ralph ... 1972a, b). The survey presents the infinite group problem in the modern context ... results; among other things, it unveils piecewise linear extreme functions with more than four different ... program, implemented in the open-source computer algebra package Sage, provides an updated compendium...
  • Vector Spaces

  • Referenced in 2 articles [sw28662]
  • Algebra. It includes basic definitions: linear combinations, span, linear independence; linear transformations; interpretation of function ... replacement theorem; existence of bases in finite-dimensional; vector spaces, definition of dimension; the rank ... Infinite-dimensional vector spaces are supported, but dimension is only supported for finite-dimensional vector ... theorem roughly follow the presentation in Linear Algebra by Friedberg, Insel, and Spence. The rank...
  • ncHilb

  • Referenced in 2 articles [sw27177]
  • computation of Hilbert series of truncated infinite-dimensional algebras whose (non-truncated) Hilbert series ... series to algebras that are invariant under the action of the general linear group...
  • GAP

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

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • L-BFGS

  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • deal.ii

  • Referenced in 643 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • SeDuMi

  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • INTLAB

  • Referenced in 471 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • SDPT3

  • Referenced in 703 articles [sw04009]
  • This software is designed to solve conic programming...
  • PETSc

  • Referenced in 1584 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • FEAST

  • Referenced in 90 articles [sw04025]
  • The FEAST solver package is a free high...