Constructive arithmetics in Ore localizations enjoying enough commutativity

DOI10.1016/J.JSC.2019.10.016zbMath1455.16014arXiv2009.02497OpenAlexW4205603845MaRDI QIDQ2200308

Viktor Levandovskyy, Johannes Hoffmann

Publication date: 19 September 2020

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

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

zbMATH Keywords

algorithmsnoncommutative algebraOre localization

Mathematics Subject Classification ID

Ore rings, multiplicative sets, Ore localization (16U20) Local rings and generalizations (16L99)

Related Items (2)

Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace} ⋮ Primary ideals and their differential equations

Uses Software

• Unnamed Item
• Unnamed Item
• olga.lib

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive \(D\)-module theory with \texttt{Singular}
• Non-commutative Gröbner bases in algebras of solvable type
• Linear systems over localizations of rings
• Effective localization using double ideal quotient and its implementation
• Gröbner deformations of hypergeometric differential equations
• Constructive arithmetics in Ore localizations of domains
• Intersection of ideals with non-commutative subalgebras
• Contraction of Ore Ideals with Applications
• Parametric Solvable Polynomial Rings and Applications
• A Constructive Approach to Arithmetics in Ore Localizations
• Constructive Arithmetics in Ore Localizations with Enough Commutativity
• SINGULAR

This page was built for publication: Constructive arithmetics in Ore localizations enjoying enough commutativity