×

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).

MSC:

03C10 Quantifier elimination, model completeness, and related topics
68W30 Symbolic computation and algebraic computation
68Q25 Analysis of algorithms and problem complexity

Software:

QEPCAD
PDFBibTeX XMLCite