1. Abánades, M., Botana, F., Kovács, Z., Recio, T., & Sólyom-Gecse, C. (2016). Towards the automatic discovery of theorems in GeoGebra. In G. M. Greuel, T. Koch, P. Paule, & A. Sommese (Eds.), Mathematical Software—ICMS 2016 (pp. 37–42). Cham: Springer International Publishing.
2. Baeta, N., & Quaresma, P. (2013). The full angle method on the OpenGeoProver. In C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, & W. Windsteiger (Eds.), MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, no. 1010 in CEUR Workshop Proceedings. Aachen.
http://ceur-ws.org/Vol-1010/paper-08.pdf
.
3. Bezem, M., & Coquand, T. (2005). Automating coherent logic. In G. Sutcliffe & A. Voronkov (Eds.), Logic for programming, artificial intelligence, and reasoning. Lecture Notes in Computer Science (Vol. 3835, pp. 246–260). Berlin/Heidelberg: Springer.
https://doi.org/10.1007/11591191_18
.
4. Botana, F., Hohenwarter, M., Janičić, P., Kovács, Z., Petrović, I., Recio, T., et al. (2015). Automated theorem proving in GeoGebra: Current achievements. Journal of Automated Reasoning, 55(1), 39–59.
https://doi.org/10.1007/s10817-015-9326-4
.
5. Chou, S. (1985). Proving and discovering geometry theorems using Wu’s method. Ph.D. thesis, The University of Texas, Austin.