Funder
National Natural Science Foundation of China
Zhejiang Provincial Natural Science Foundation of China
Zhejiang Province Department of Education Fund
China Scholarship Council
Subject
Industrial and Manufacturing Engineering,Computer Graphics and Computer-Aided Design,Computer Science Applications
Reference42 articles.
1. Quantifier elimination for real closed fields by cylindrical algebraic decompostion;Collins,1975
2. Improved projection for cylindrical algebraic decomposition;Brown;J Symbolic Comput,2001
3. Simple CAD construction and its applications;Brown;J Symbolic Comput,2001
4. Interval arithmetic in cylindrical algebraic decomposition;Collins;J Symbolic Comput,2002
5. Cylindrical algebraic decomposition using validated numerics;Strzeboński;J Symbolic Comput,2006