Partial Cylindrical Algebraic Decomposition for Quantifier Elimination
暂无分享,去创建一个
[1] Hoon Hong,et al. Improvements in cad-based quantifier elimination , 1990 .
[2] R. Loos. Computing in Algebraic Extensions , 1983 .
[3] Hoon Pyo Hong. Collision Problems by an Improved CAD-based Quantifier Elimination Algorithm , 1991 .
[4] James H. Davenport,et al. Real Quantifier Elimination is Doubly Exponential , 1988, J. Symb. Comput..
[5] Dennis Soule Arnon. Algorithms for the geometry of semi-algebraic sets , 1981 .
[6] H. Hong. An improvement of the projection operator in cylindrical algebraic decomposition , 1990, ISSAC '90.
[7] Dennis S. Arnon,et al. A Cluster-Based Cylindrical Algebraic Decomposition Algorithm , 1985, J. Symb. Comput..
[8] Scott McCallum. Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition , 1993, Comput. J..
[9] George E. Collins,et al. Cylindrical Algebraic Decomposition I: The Basic Algorithm , 1984, SIAM J. Comput..
[10] George E. Collins,et al. Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975, Automata Theory and Formal Languages.
[11] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .
[12] Maurice Mignotte,et al. On Mechanical Quantifier Elimination for Elementary Algebra and Geometry , 1988, J. Symb. Comput..
[13] George E. Collins,et al. Quantifier elimination and the sign variation method for real root isolation , 1989, ISSAC '89.
[14] Bruno Buchberger,et al. Algebraic methods for geometric reasoning , 1988 .