Details:
| Title | Truth table invariant cylindrical algebraic decomposition by regular chains | | Author(s) | Changbo Chen, Wilson David, Davenport James H., Moreno Maza Marc, England Matthew, Bradford Russell | | Type | Book, Chapter in Book, Conference Proceeding |
| URL |
http://dx.doi.org/10.1007/978-3-319-10515-4_4 |
| Language | English | | Series | LNCS | | Volume | 8660 | | Pages | 44-58 | | Publisher | Springer International Publishing | | Address | Switzerland | | Year | 2014 | | Editor | Gerdt, Vladimir P. and Koepf, Wolfram and Seiler, Werner M. and Vorozhtsov, Evgenii V. | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
