Linear systems over localizations of rings

DOI10.1007/s00013-018-1183-zzbMath1420.13021arXiv1709.08180OpenAlexW2963103356MaRDI QIDQ1650744

Sebastian Posur

Publication date: 13 July 2018

Published in: Archiv der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

linear systemlocalizationcomputable ringcoherent strongly discrete ring

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Rings of fractions and localization for commutative rings (13B30) Computational homological algebra (13P20)

Related Items

Methods of constructive category theory, Constructive arithmetics in Ore localizations enjoying enough commutativity, A constructive approach to Freyd categories, An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties

Uses Software

• homalg
• SINGULAR
• olga.lib
• CAP
• ModulePresentationsForCAP
• LinearAlgebraForCAP
• GeneralizedMorphismsForCAP

Cites Work

• Unnamed Item
• Unnamed Item
• La queste del Saint \(\text{Gr}_ a(\text{AL})\): A computational approach to local algebra
• Characterizing Serre quotients with no section functor and applications to coherent sheaves
• AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
• Coherent and Strongly Discrete Rings in Type Theory
• A Constructive Approach to Arithmetics in Ore Localizations