• Macaulay2

  • Referenced in 1502 articles [sw00537]
  • them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary...
  • HAP

  • Referenced in 35 articles [sw04870]
  • focus is on computations related to the cohomology of groups. Both finite and infinite groups...
  • cohomCalg

  • Referenced in 20 articles [sw06201]
  • algorithm for the computation of sheaf cohomologies for line bundles on toric varieties presented ... arXiv:1003.5217 [hep-th] ”Cohomology of Line Bundles: A Computational Algorithm” has been implemented...
  • RiG

  • Referenced in 25 articles [sw07723]
  • used to make basic calculations of cohomology of finite racks...
  • javaPlex

  • Referenced in 23 articles [sw08779]
  • based Plex family of persistent homology and cohomology software packages. Written in Java...
  • Gudhi

  • Referenced in 14 articles [sw08777]
  • computed by mean of the persistent cohomology algorithm, implemented with a compressed annotation matrix. Persistent ... cohomology is the dual of persistent homology, and provides the same topological invariant represented...
  • SuperLie

  • Referenced in 19 articles [sw14268]
  • lowest), compute Lie (super)algebra homology and cohomology; calculate the Shapovalov determinant...
  • Mod-p group cohomology

  • Referenced in 8 articles [sw08638]
  • Sage computer algebra system. It computes modular cohomology rings of finite groups. It yields minimal ... presentations of the cohomology rings, can compute various ring invariants (Poincaré series, a-invariant, depth ... first complete computation of the mod-2 cohomology rings of all groups of order ... also used to compute the mod-p cohomology of various finite simple groups (for different...
  • PurityFiltration

  • Referenced in 10 articles [sw07656]
  • such as bidualizing complexes, spectral sequences, associated cohomology, or Spencer cohomology used in the literature...
  • ChainCon

  • Referenced in 8 articles [sw12058]
  • ChainCon Software: Chain Contractions, Homology and Cohomology Software and Examples. The algorithms described...
  • Maple-flag-cohomology

  • Referenced in 3 articles [sw31745]
  • Three presentations of torus equivariant cohomology of flag manifolds. Let G be a compact connected ... calculus} is to study the T-equivariant cohomology H∗T(G/T) with regard...
  • ENVELOPE

  • Referenced in 3 articles [sw18600]
  • Noncommutative Gröbner bases and Hochschild cohomology. We present a computational approach for finding Hochschild cohomology ... resolutions can then be used to construct cohomology groups. We report on some...
  • cellularSheaves

  • Referenced in 3 articles [sw25131]
  • Cellular sheaf cohomology in polymake. This is a guide to the polymake extension cellularSheaves ... toric and tropical geometry linking cellular sheaf cohomologies to cohomologies of algebraic varieties. We then...
  • Quantum Calculator

  • Referenced in 3 articles [sw07775]
  • carry out computations in the small quantum cohomology ring of any Grassmannian of classical type ... Tamvakis, aimed at studying the small quantum cohomology rings of submaximal isotropic and orthogonal Grassmannians...
  • ope.math

  • Referenced in 4 articles [sw09271]
  • Hamiltonian reduction of current algebras and BRST cohomology of two-dimensional gravity coupled to $cleq...
  • ToricVectorBundles

  • Referenced in 4 articles [sw12129]
  • contains two procedures for calculating the graded cohomology groups of an equivariant vector bundle...
  • Cohomolo

  • Referenced in 2 articles [sw07657]
  • package cohomolo: Cohomology groups of finite groups on finite modules. The cohomolo package ... finite groups and first and second cohomology groups of finite groups acting on finite modules...
  • HilbK3

  • Referenced in 2 articles [sw14934]
  • Computing cup products in integral cohomology of Hilbert schemes of points on K3 surfaces ... study cup products in the integral cohomology of the Hilbert scheme of n points...
  • Quasidegrees

  • Referenced in 2 articles [sw30289]
  • also computes the quasidegree sets of local cohomology modules supported at the maximal irrelevant ideal ... quasidegree sets of non-top local cohomology modules supported at the maximal irrelevant ideal...