homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA

DOI10.1142/S0219498808002813zbMath1151.13306arXivmath/0701146MaRDI QIDQ3521674

Mohamed Barakat, Daniel Robertz

Publication date: 26 August 2008

Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0701146

Mathematics Subject Classification ID

Homological functors on modules (Tor, Ext, etc.) in associative algebras (16E30) Homological dimension and commutative rings (13D05) Syzygies, resolutions, complexes and commutative rings (13D02) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Syzygies, resolutions, complexes in associative algebras (16E05) Homological dimension in associative algebras (16E10)

Related Items (9)

Recent progress in an algebraic analysis approach to linear systems ⋮ Grade filtration of linear functional systems. ⋮ Almost direct sum decomposition and implementation of 2D behaviors ⋮ AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION ⋮ Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras ⋮ A constructive study of the module structure of rings of partial differential operators. ⋮ A constructive approach to Freyd categories ⋮ conley: Computing connection matrices in Maple ⋮ The SDEval benchmarking toolkit

Uses Software

• Janet
• QuillenSuslin
• alexander
• JanetOre
• MatricesForHomalg
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Janet's approach to presentations and resolutions for polynomials and linear PDEs
• Computing in algebraic geometry. A quick start using SINGULAR
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• Computation of bases of free modules over the Weyl algebras.
• OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems
• A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors

This page was built for publication: homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA