Thomas Sturm. New Domains for Applied Quantifier Elimination. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings. Volume 4194 of Lecture Notes in Computer Science, pages 295-301, Springer, 2006. [doi]
Abstract is missing.