• GloptiPoly

  • Referenced in 322 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...
  • SimpLie

  • Referenced in 5 articles [sw34815]
  • written for level decompositions of infinite-dimensional Lie algebras, but it is not limited...
  • ncHilb

  • Referenced in 2 articles [sw27177]
  • function. Moreover, a characterization of finite-dimensional algebras is obtained in terms of the nilpotency ... computation of Hilbert series of truncated infinite-dimensional algebras whose (non-truncated) Hilbert series...
  • 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 ... program, implemented in the open-source computer algebra package Sage, provides an updated compendium...
  • MasterPVA

  • Referenced in 4 articles [sw25287]
  • vertex algebras, which play an important role in the theory of infinite-dimensional Hamiltonian systems ... among the generators of classical affine W-algebras. The use of these packages is shown...
  • WAlg

  • Referenced in 3 articles [sw25288]
  • vertex algebras, which play an important role in the theory of infinite-dimensional Hamiltonian systems ... among the generators of classical affine W-algebras. The use of these packages is shown...
  • MasterPVAmulti

  • Referenced in 1 article [sw26904]
  • vertex algebras, which play an important role in the theory of infinite-dimensional Hamiltonian systems ... among the generators of classical affine 𝒲-algebras. The use of these packages is shown...
  • Vector Spaces

  • Referenced in 2 articles [sw28662]
  • based completely on locales, building off HOL-Algebra. It includes basic definitions: linear combinations, span ... 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...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • 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...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

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

  • Referenced in 765 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • LAPACK

  • Referenced in 1701 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LGO

  • Referenced in 96 articles [sw00516]
  • The program system LGO serves to solve global...