Constructive arithmetics in Ore localizations of domains

Hoffmann, Johannes (Corresponding author); Levandovskyy, Viktor (Corresponding author)

Amsterdam / Elsevier (2019, 2020) [Buchbeitrag, Fachzeitschriftenartikel]

Journal of symbolic computation
Band: 98
Seite(n): 23-46