
CoCoA
 Referenced in 478 articles
[sw00143]
 related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Grobner ... zerodimensional schemes, Poincare’ series and Hilbert functions, factorization of polynomials, toric ideals. The capabilities...

FreeSquares
 Referenced in 3 articles
[sw12555]
 enumeration is treated by means of Hilbert functions. An implementation in Macaulay2 is provided...

NumericalHilbert
 Referenced in 1 article
[sw20104]
 numerically compute local dual space and Hilbert functions. The NumericalHilbert package includes algorithms for computing ... used to compute initial ideals, local Hilbert functions and Hilbert regularity...

Points
 Referenced in 1 article
[sw01064]
 which need the computation of the Hilbert Function or of minimal generators ... offers the computation of the Hilbert function and of minimal generators of the ideals...

Polyhedra
 Referenced in 4 articles
[sw12128]
 calculation of Hilbert bases are included. The package also provides functions to create convex polyhedral...

moregroebner
 Referenced in 2 articles
[sw14841]
 order, graded Gröbner bases, Hilbert series are supported. The functions available are:  gradgroebner, modulegroebner, normalform...

Rice Vector
 Referenced in 0 articles
[sw13923]
 classes expressing core concepts (vector, function,…) of calculus in Hilbert space with minimal implementation dependence ... hide applicationdependent implementation details (data containers, function objects). A variety of coordinatefree algorithms...

RKHS
 Referenced in 1 article
[sw03078]
 functional data and shown to coincide using the Lo`eveParzen reproducing kernel Hilbert space ... factor analysis are also generalized to the functional data setting. Finally, the relationship between Fisher...

hht
 Referenced in 1 article
[sw15317]
 tools for empirical mode decomposition (EMD) and Hilbert spectral analysis. It also implements the ensemble ... used to view intrinsic mode functions, the HHT spectrum, and the Fourier spectrum...

SQuIDS
 Referenced in 1 article
[sw19953]
 density matrices and scalar functions. This is done efficiently by expressing all operators ... evolution of a collection of particles with Hilbert space of dimension...

ACRITHXSC
 Referenced in 38 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

AIFS
 Referenced in 14 articles
[sw00023]
 A considerable class of fractal sets can be...

BBVSCG
 Referenced in 6 articles
[sw00069]
 BBVSCG  A variablestorage algorithm for function minimization...

CASA
 Referenced in 52 articles
[sw00108]
 CASA is a specialpurpose system for computational...

cdd
 Referenced in 81 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

gmp
 Referenced in 156 articles
[sw00363]
 GMP is a free library for arbitrary precision...