scientific article
From MaRDI portal
Publication:3973352
zbMath0746.03009MaRDI QIDQ3973352
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Real algebraic sets (14P05) Decidability of theories and sets of sentences (03B25)
Related Items
Finding irreducible components of some real transcendental varieties, The complexity of deciding consistency of systems of polynomials in exponent inequalities
