Details:
Title | Refutational Proofs of Geometry Theorems via Characteristic Set Computation | Author(s) | Wan H. K., Deepak Kapur | Type | Article in Conference Proceedings | ISBN | 0-201-54892-5 |
URL |
http://doi.acm.org/10.1145/96877.96949 |
Language | English | Series | ISSAC | Pages | 277--284 | Publisher | ACM | Address | New York, NY, USA | Year | 1990 | Edition | 0 | Translation |
No | Refereed |
No |
|