CITATION STYLE
Cohen, A. M., Cuypers, H., & Sterk, H. (1999). Project 1: Automatic Geometric Theorem Proving. In E. Becker, M. Bronstein, H. Cohen, D. Eisenbud, & R. Gilman (Eds.), Some Tapas of Computer Algebra (Vol. 4, pp. 276–296). Springer Berlin Heidelberg. Retrieved from http://link.springer.com/10.1007/978-3-662-03891-8
Mendeley helps you to discover research relevant for your work.