
CoCoA
 Referenced in 476 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...

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

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 80 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

HURRY
 Referenced in 25 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...

ITSM
 Referenced in 14 articles
[sw00461]
 ITSM (Interactive Time Series Modelling) 6.0 is an...