• Macaulay2

  • Referenced in 1776 articles [sw00537]
  • specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective...
  • BoijSoederberg

  • Referenced in 52 articles [sw18577]
  • conjectures, see math.AC/0611081, ”Graded Betti numbers of Cohen-Macaulay modules and the Multiplicity conjecture...
  • RedHom

  • Referenced in 12 articles [sw08776]
  • RedHom may be used to compute Betti numbers, torsion coefficients, homology generators, persistence intervals...
  • RIVET

  • Referenced in 4 articles [sw27770]
  • Modules and Computing Minimal Presentations and Betti Numbers of 2-Parameter Persistent Homology. Additional papers...
  • BettiBounds

  • Referenced in 1 article [sw31690]
  • Macaulay2 package BettiBounds: Bounds for the Betti numbers of iterated stellar subdivisions of the boundary ... give in [6] bounds for the Betti numbers of the Stanley-Reisner ring ... obtain a bound for the total Betti numbers of iterated stellar subdivisions of the boundary ... simplex. This bound depends only on the number of stellars and we construct examples which...
  • Polytop

  • Referenced in 2 articles [sw25569]
  • compute the Euler characteristic, genus, Betti numbers, and generators of the fundamental group...
  • goettsche.lib

  • Referenced in 1 article [sw27131]
  • goettsche.lib: Drezet’s formula for the Betti numbers of the moduli space of Kronecker modules ... Goettsche’s formula for the Betti numbers of the Hilbert scheme of points...
  • pureBraid.py

  • Referenced in 1 article [sw20839]
  • pureBraid.py Python Code to Calculate the Betti Numbers of the Pure Braid Group...
  • ResolutionsOfStanleyReisnerRings

  • Referenced in 0 articles [sw36751]
  • systems of parameters and finding the Betti numbers of the resolution of the Stanley-Reisner ... complexes and for computing the graded Betti numbers of the resolutions of the Stanley-Reisner...
  • Library of Triangulations

  • Referenced in 13 articles [sw20482]
  • function is chosen randomly, and then the number of critical points is calculated leading ... vector can be much larger than the Betti vector but it turns out that ... concrete triangulations of certain manifolds with a number of vertices ranging between 8 and several...
  • SchurVeronese

  • Referenced in 1 article [sw30568]
  • accessible in Macaulay2. In addition to standard Betti tables, the package includes information about ... syzygies. The package also includes a number of functions useful for manipulating and studying this...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

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

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

  • Referenced in 40 articles [sw00522]
  • LinBox: A Generic Library for Exact Linear Algebra...
  • Magma

  • Referenced in 3055 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5220 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

  • Referenced in 12721 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • nauty

  • Referenced in 579 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...