AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
From MaRDI portal
Publication:3006042
DOI10.1142/S0219498811004562zbMath1227.18009arXiv1003.1943MaRDI QIDQ3006042
Mohamed Barakat, Markus Lange-Hegermann
Publication date: 10 June 2011
Published in: Journal of Algebra and Its Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1003.1943
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
Methods of constructive category theory ⋮ Linear systems over localizations of rings ⋮ On subdirect factors of a projective module and applications to system theory. ⋮ A Constructive Approach to the Module of Twisted Global Sections on Relative Projective Spaces ⋮ Grade filtration of linear functional systems. ⋮ Gauge backgrounds and zero-mode counting in F-theory ⋮ Coxeter and crystallographic arrangements are inductively free ⋮ A constructive study of the module structure of rings of partial differential operators. ⋮ Characterizing Serre quotients with no section functor and applications to coherent sheaves ⋮ Zacharias representation of effective associative rings ⋮ A constructive approach to Freyd categories ⋮ On the ext-computability of Serre quotient categories ⋮ On the Generation of Rank 3 Simple Matroids with an Application to Terao's Freeness Conjecture ⋮ An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties ⋮ Computing the nonfree locus of the moduli space of arrangements and Terao’s freeness conjecture
Uses Software
Cites Work
- Faisceaux algébriques cohérents
- An introduction to homological algebra
- Algorithms for the Quillen-Suslin theorem
- 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.
- Effective algorithms for parametrizing linear control systems over Ore algebras
- OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems
- homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
- A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors
This page was built for publication: AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION