scientific article
From MaRDI portal
Publication:3975179
zbMath0756.14031MaRDI QIDQ3975179
Teresa Krick, Pablo Solernó, Joos Heintz, Marie-Françoise Roy
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantifier eliminationcomputational semialgebraic geometrypolynomial parallel time algorithmsingle exponential sequential time
Symbolic computation and algebraic computation (68W30) Semialgebraic sets and related spaces (14P10) Computational aspects in algebraic geometry (14Q99)
Related Items
