On computer-assisted research in homological algebra.

DOI10.1016/S0378-4754(96)00023-7zbMath1037.55500OpenAlexW2080831705MaRDI QIDQ1565831

Jan-Erik Roos

Publication date: 27 May 2003

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0378-4754(96)00023-7

zbMATH Keywords

computer algebraHilbert seriesloop spaceshomological algebraMacaulayPoincaré-Betti seriesBergman

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Software, source code, etc. for problems pertaining to category theory (18-04)

Related Items

A nonnilpotent 1-2-presented graded Hopf algebra whose Hilbert series converges in the unit circle, Homological properties of powers of the maximal ideal of a local ring, On the growth of deviations

Uses Software

• Macaulay2
• BERGMAN

Cites Work

• Poincaré series of short Artinian rings
• Algèbres connexes et homologie des espaces de lacets
• Hilbert functions of graded algebras
• A computer-aided study of the graded Lie algebra of a local commutative noetherian ring. -- Appendix A: Some technical details about how the computer was used. -- Appendix B (by Clas Löfwall): The Lie algebra structure of a ring satisfying \({\mathcal M}_ 3\) and variants
• A compactification of configuration spaces
• Jacobian criteria for complete intersections. The graded case
• On the structure of Hopf algebras
• Intersection rings of spaces of triangles
• Obstructions to the Existence of Multiplicative Structures on Minimal Free Resolutions
• Koszul Duality Patterns in Representation Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item