Details:
Title | Partial cylindrical algebraic decomposition for quantifier elimination | Author(s) | George E. Collins, Hoon Hong | Type | Article in Journal | ISSN | 0747-7171 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 12 | Number | 3 | Pages | 299-328 | Publisher | Academic Press, Inc. | Address | Duluth, MN, USA | Year | 1991 | Month | September | Edition | 0 | Translation |
No | Refereed |
No |
|