Details:
| Title | Automated geometry theorem proving using Buchberger's algorithm | | Author(s) | Bernhard Kutzler, Sabine Stifter | | Text | Proceedings of the 5th ACM Symposium on Symbolic and Algebraic Computation, Waterloo, Ontario, Canada. | | Type | Article in Conference Proceedings | | Abstract | | | ISBN | 0-89791-199-7 |
| URL |
http://doi.acm.org/10.1145/32439.32480 |
| Language | English | | Pages | 209-214 | | Publisher | ACM Press | | Address | New York, NY, USA | | Year | 1986 | | Translation |
No | | Refereed |
No | | Organization |
Johannes Kepler University Linz | | Conferencename | Symposium on Symbolic and Algebraic Manipulation |
|
