1. Abánades, M., Botana, F., Kovács, Z., Recio, T., & Sólyom-Gecse, C. (2016a). Towards the automatic discovery of theorems in GeoGebra. In G. M. Greuel, T. Koch, P. Paule, & A. Sommese (Eds.), Mathematical Software—ICMS 2016. 5th International Conference, Berlin, Germany, July 11–14, 2016, Proceedings. Volume 9725 of Lecture Notes in Computer Science (pp. 37–42). Cham: Springer International Publishing.
2. Abánades, M., Botana, F., Kovács, Z., Recio, T., & Sólyom-Gecse, C. (2016b). Development of automatic reasoning tools in GeoGebra. ACM Communications in Computer Algebra, 50, 85–88.
3. Artigue, M. (2012). What is inquiry-based mathematics education (IBME)? In M. Artigue & P. Baptist (Eds.), Inquiry in mathematics education (pp. 3–13). Fibonacci Project.
4. Balacheff, N. (1997). ICME 8, TG19 followup report. Computer-Based Learning Environments: “CBILE”.
http://mathforum.org/mathed/seville/followup.html
.
5. Baulac, Y., Bellemain, F., & Laborde, J. M. (1994). Cabri geometry II. Dallas: Texas Instruments.