Computing global extension modules

DOI10.1006/jsco.1999.0280zbMath0978.13008OpenAlexW2079925292MaRDI QIDQ1569840

Gregory G. Smith

Publication date: 25 September 2000

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1999.0280

zbMATH Keywords

Gröbner basessyzygiesglobal extension module

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Syzygies, resolutions, complexes and commutative rings (13D02) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15)

Related Items

Computing representation matrices for the action of Frobenius on cohomology groups, Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications, Castelnuovo-Mumford regularity and computing the de Rham cohomology of smooth projective varieties, The isomorphism problem of projective schemes and related algorithmic problems, Relative Beilinson monad and direct image for families of coherent sheaves, On the length of fully commutative elements, On the ext-computability of Serre quotient categories, Cohomology and toric varieties and local cohomology with monomial supports

Uses Software

• Macaulay2

Cites Work

• Sur quelques points d'algèbre homologique
• What can be computed in algebraic geometry?
• Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item