A Constructive Approach to Arithmetics in Ore Localizations

Johannes Hoffmann, Viktor Levandovskyy. A Constructive Approach to Arithmetics in Ore Localizations. In Michael A. Burr, Chee K. Yap, Mohab Safey El Din, editors, Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2017, Kaiserslautern, Germany, July 25-28, 2017. pages 197-204, ACM, 2017. [doi]

Abstract

Abstract is missing.