• CoCoA

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

  • Referenced in 129 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 1 article [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 73 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

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

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

  • Referenced in 1526 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 2396 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 232 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HURRY

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