ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Quantifier Elimination by Cylindrical Algebraic Decomposition — Twenty Years of Progress
Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition
◽
10.1007/978-3-7091-9459-1_2
◽
1998
◽
pp. 8-23
◽
Cited By ~ 37
Author(s):
George E. Collins
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
Download Full-text
Related Documents
Cited By
References
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition
◽
10.1007/978-3-7091-9459-1_4
◽
1998
◽
pp. 85-121
◽
Cited By ~ 18
Author(s):
George E. Collins
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
◽
Real Closed Fields
◽
Closed Fields
Download Full-text
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
Journal of Symbolic Computation
◽
10.1016/j.jsc.2015.11.008
◽
2016
◽
Vol 75
◽
pp. 74-93
◽
Cited By ~ 15
Author(s):
Changbo Chen
◽
Marc Moreno Maza
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
◽
Regular Chains
Download Full-text
An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination
Theoretical Computer Science
◽
10.1016/j.tcs.2012.10.020
◽
2013
◽
Vol 479
◽
pp. 43-69
◽
Cited By ~ 12
Author(s):
Hidenao Iwane
◽
Hitoshi Yanami
◽
Hirokazu Anai
◽
Kazuhiro Yokoyama
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
◽
Effective Implementation
Download Full-text
Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination
Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92
◽
10.1145/143242.143306
◽
1992
◽
Cited By ~ 19
Author(s):
Hoon Hong
Keyword(s):
Quantifier Elimination
◽
Simple Solution
◽
Cylindrical Algebraic Decomposition
Download Full-text
The complexity of quantifier elimination and cylindrical algebraic decomposition
Proceedings of the 2007 international symposium on Symbolic and algebraic computation - ISSAC '07
◽
10.1145/1277548.1277557
◽
2007
◽
Cited By ~ 42
Author(s):
Christopher W. Brown
◽
James H. Davenport
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
Download Full-text
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
ACM SIGSAM Bulletin
◽
10.1145/1093390.1093393
◽
1976
◽
Vol 10
(1)
◽
pp. 10-12
◽
Cited By ~ 24
Author(s):
George E. Collins
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
◽
Real Closed Fields
◽
Closed Fields
Download Full-text
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14
◽
10.1145/2608628.2608666
◽
2014
◽
Cited By ~ 11
Author(s):
Changbo Chen
◽
Marc Moreno Maza
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
◽
Regular Chains
Download Full-text
Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
◽
10.1145/3373207.3403981
◽
2020
◽
Author(s):
Matthew England
Keyword(s):
Machine Learning
◽
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
Download Full-text
Quantifier Elimination and Cylindrical Algebraic Decomposition
10.1007/978-3-7091-9459-1
◽
1998
◽
Cited By ~ 86
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
Download Full-text
Partial Cylindrical Algebraic Decomposition for Quantifier Elimination
Texts and Monographs in Symbolic Computation - Quantifier Elimination and Cylindrical Algebraic Decomposition
◽
10.1007/978-3-7091-9459-1_9
◽
1998
◽
pp. 174-200
◽
Cited By ~ 4
Author(s):
George E. Collins
◽
Hoon Hong
Keyword(s):
Quantifier Elimination
◽
Cylindrical Algebraic Decomposition
◽
Partial Cylindrical Algebraic Decomposition
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close