scientific article
From MaRDI portal
Publication:3033873
zbMath0692.13013MaRDI QIDQ3033873
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computer algebraGröbner basis algorithmBuchberger's algorithmdecision algorithm for the elementary theory of differentially algebraically closed fields
Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Differential algebra (12H05)
Related Items
