• CoCoA

  • Referenced in 601 articles [sw00143]
  • ideal of zero-dimensional schemes, Poincare’ series and Hilbert functions, factorization of polynomials, toric ideals...
  • Normaliz

  • Referenced in 142 articles [sw00630]
  • affine monoid, the Hilbert (or Ehrhart) series and the Hilbert (or Ehrhart) (quasi) polynomial under ... rational polytopes), generalized (or weighted) Ehrhart series and Lebesgue integrals of polynomials over rational polytopes...
  • ncHilb

  • Referenced in 2 articles [sw27177]
  • Multigraded Hilbert series of noncommutative modules. In this paper, we propose methods for computing ... Hilbert series of multigraded right modules over the free associative algebra. In particular, we compute ... hence the sum of the Hilbert series is a rational function. Moreover, a characterization ... also developed for the computation of Hilbert series of truncated infinite-dimensional algebras whose...
  • moregroebner

  • Referenced in 2 articles [sw14841]
  • arbitrary term order, graded Gröbner bases, Hilbert series are supported. The functions available are: - gradgroebner...
  • GradedLieAlgebras

  • Referenced in 2 articles [sw27126]
  • Presented Graded Hopf Algebra Whose Hilbert Series Converges in the Unit Circle, Adv. Math...
  • MLSY_OSM_SH

  • Referenced in 2 articles [sw28033]
  • expansions of elements of the Hilbert space into Fourier series. In the article orthorecursive spectral...
  • Waveslim

  • Referenced in 7 articles [sw07997]
  • signal processing. Basic wavelet routines for time series (1D), image (2D) and array (3D) analysis ... implemented by Selesnick; and Hilbert wavelet pairs (Selesnick 2001, 2002). All figures in chapters...
  • AIFS

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

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

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

  • Referenced in 54 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • Coq

  • Referenced in 1748 articles [sw00161]
  • Coq is a formal proof management system. It...
  • finvar.lib

  • Referenced in 2 articles [sw00291]
  • finvar.lib. A Singular 2.0 library for computing invariant...
  • GAP

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

  • Referenced in 3 articles [sw00324]
  • C++ program for computing efficiently Groebner bases. See...
  • gmp

  • Referenced in 255 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • GQRAT

  • Referenced in 35 articles [sw00373]
  • The concern here is with Gauss-type quadrature...