Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. New results on quantifier elimination over real closed fields and applications to constraint databases;Basu;Journal of the ACM,1999
2. Algorithms in Real Algebraic Geometry;Basu,2003
3. Quantifier Elimination and Cylindrical Algebraic Decomposition,1998
4. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins,1975
5. The field of reals with a predicate for the powers of two;van~den Dries;Manuscripta Mathematica,1985
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献