Author | Collins, George E. and Hong, Hoon |
Title | Partial Cylindrical Algebraic Decomposition for Quantifier Elimination |
Journal | Journal of Symbolic Computation |
Volume | 12 |
Number | 3 |
Pages | 299-328 |
Month | Sep |
Year | 1991 |
Pubtype | Journal |
Fileid | CollinsHong_91 |
Name | Collins, Hong |
Status | redlog algorithm |
Xtitle | Partial Cylindrical Algebraic Decomposition for Quantifier Elimination |