Details:
Title | A note on the need for radical membership checking in mechanical theorem proving in geometry | Author(s) | Eugenio Roanes-Lozano, Eugenio | Type | Book, Chapter in Book, Conference Proceeding |
URL |
http://dx.doi.org/10.1007/978-3-319-02297-0_24 |
Language | English | Series | LNCS | Volume | 8136 | Pages | 288-300 | Publisher | Springer International Publishing | Address | Switzerland | Year | 2013 | Editor | Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V. | Edition | 0 | Translation |
No | Refereed |
No |
|