• CoCoA

  • Referenced in 472 articles [sw00143]
  • related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Grobner ... zero-dimensional 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 application-dependent implementation details (data containers, function objects). A variety of coordinate-free algorithms...
  • RKHS

  • Referenced in 1 article [sw03078]
  • functional data and shown to coincide using the Lo`eve-Parzen 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...
  • AIFS

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

  • Referenced in 6 articles [sw00069]
  • BBVSCG - A variable-storage algorithm for function minimization...
  • CASA

  • Referenced in 52 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

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

  • Referenced in 1153 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

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

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