
GloptiPoly
 Referenced in 322 articles
[sw04343]
 Generalized Problem of Moments (GPM), an infinitedimensional 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 infinitedimensional Lie algebras, but it is not limited...

ncHilb
 Referenced in 2 articles
[sw27177]
 function. Moreover, a characterization of finitedimensional algebras is obtained in terms of the nilpotency ... computation of Hilbert series of truncated infinitedimensional algebras whose (nontruncated) Hilbert series...

infinite group relaxation
 Referenced in 24 articles
[sw14600]
 infinite group problem, an infinitedimensional 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 opensource 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 infinitedimensional Hamiltonian systems ... among the generators of classical affine Walgebras. The use of these packages is shown...

WAlg
 Referenced in 3 articles
[sw25288]
 vertex algebras, which play an important role in the theory of infinitedimensional Hamiltonian systems ... among the generators of classical affine Walgebras. The use of these packages is shown...

MasterPVAmulti
 Referenced in 1 article
[sw26904]
 vertex algebras, which play an important role in the theory of infinitedimensional 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 HOLAlgebra. It includes basic definitions: linear combinations, span ... replacement theorem; existence of bases in finitedimensional; vector spaces, definition of dimension; the rank ... Infinitedimensional vector spaces are supported, but dimension is only supported for finitedimensional 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...

CUBPACK
 Referenced in 30 articles
[sw00175]
 CUBPACK aims to offer a collection of re...

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