Publications
- Johannes Hoffmann and Viktor Levandovskyy: Constructive Arithmetics in Ore localizations with Enough Commutativity In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 18). ACM Press (2018)
- Johannes Hoffmann and Viktor Levandovskyy: A Constructive Approach to Arithmetics in Ore Localizations In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 17). ACM Press (2017)