scientific article
From MaRDI portal
Publication:3939801
zbMath0482.03029MaRDI QIDQ3939801
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
descending chain conditionalgorithmic theory of mathematicsexistence of greatest common divisorsexistence of unique factorizationsequential search constructions
Symbolic computation and algebraic computation (68W30) Differential algebra (12H05) Other constructive mathematics (03F65) Algorithms in computer science (68W99) General commutative ring theory (13A99)
Related Items (1)
This page was built for publication: