Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase

2012 ◽  
pp. 560-570 ◽  
Author(s):  
Grant Olney Passmore ◽  
Paul B. Jackson
Keyword(s):  
Cylindrical Algebraic Decomposition ◽  
Partial Cylindrical Algebraic Decomposition

scholarly journals Interval Arithmetic in Cylindrical Algebraic Decomposition

2002 ◽  
Vol 34 (2) ◽  
pp. 145-157 ◽  
Author(s):  
George E. Collins ◽  
Jeremy R. Johnson ◽  
Werner Krandick
Keyword(s):  
Interval Arithmetic ◽  
Cylindrical Algebraic Decomposition

scholarly journals Using Machine Learning to Improve Cylindrical Algebraic Decomposition

2019 ◽  
Vol 13 (4) ◽  
pp. 461-488 ◽  
Author(s):  
Zongyan Huang ◽  
Matthew England ◽  
David J. Wilson ◽  
James Bridge ◽  
James H. Davenport ◽  
...  
Keyword(s):  
Machine Learning ◽  
Cylindrical Algebraic Decomposition
Sign in / Sign up

Export Citation Format

Share Document