Constructive arithmetics in Ore localizations of domains

DOI10.1016/j.jsc.2019.07.005zbMath1441.16029arXiv1712.01773OpenAlexW2774010652WikidataQ127469574 ScholiaQ127469574MaRDI QIDQ2284948

Johannes Hoffmann, Viktor Levandovskyy

Publication date: 15 January 2020

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

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

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 (2)

Localizations of a ring at localizable sets, their groups of units and saturations ⋮ Constructive arithmetics in Ore localizations enjoying enough commutativity

Uses Software

• Plural
• SINGULAR
• JAS
• HolonomicFunctions
• OreTools
• olga.lib
• ore_algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the complexity of skew arithmetic
• Non-commutative Gröbner bases in algebras of solvable type
• Complexity of factoring and calculating the GCD of linear ordinary differential operators
• An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras
• Non-commutative elimination in Ore algebras proves multivariate identities
• Theory of non-commutative polynomials
• A factorization algorithm for \(G\)-algebras and its applications
• Factoring linear partial differential operators in \(n\) variables
• Ore Polynomials in Sage
• Chebyshev expansions for solutions of linear differential equations
• On noncommutative finite factorization domains
• Intersection of ideals with non-commutative subalgebras
• Parametric Solvable Polynomial Rings and Applications
• The skew field of fractions of the weyl algebra contains a free noncommutative subalgebra
• 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 of domains