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 |
|
