Weispfenning, Volker Quantifier elimination for real algebra – the cubic case. (English) Zbl 0919.03030 Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 258-263 (1994). Cited in 15 Documents MSC: 03C10 Quantifier elimination, model completeness, and related topics 68W30 Symbolic computation and algebraic computation 68Q25 Analysis of algorithms and problem complexity Keywords:quantifier elimination method; polynomial inequalities; virtual substitution of parametrized test points Citations:Zbl 0646.03005; Zbl 0787.03021; Zbl 0867.03003 Software:QEPCAD PDF BibTeX XML Cite \textit{V. Weispfenning}, in: ISSAC '94. Proceedings of the international symposium on Symbolic and algebraic computation, Oxford, GB, July 20--22, 1994. Baltimore, MD: ACM Press. 258--263 (1994; Zbl 0919.03030)