A Constructive Approach to Arithmetics in Ore Localizations

DOI10.1145/3087604.3087649zbMath1459.16031OpenAlexW2738925587MaRDI QIDQ5119940

Johannes Hoffmann, Viktor Levandovskyy

Publication date: 9 September 2020

Published in: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3087604.3087649

zbMATH Keywords

algorithmsnoncommutative algebraOre localization

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Other classes of modules and ideals in associative algebras (16D80) Associative rings of fractions and localizations (16S85)

Related Items (3)

Linear systems over localizations of rings ⋮ Constructive arithmetics in Ore localizations enjoying enough commutativity ⋮ Constructive arithmetics in Ore localizations of domains

Uses Software

• Unnamed Item
• Unnamed Item
• Unnamed Item
• HolonomicFunctions
• OreTools
• olga.lib

This page was built for publication: A Constructive Approach to Arithmetics in Ore Localizations