Author:
Kovács Zoltán,Recio Tomás,Vélez M. Pilar
Publisher
Springer International Publishing
Reference21 articles.
1. Botana, F., Hohenwarter, M., Janičić, P., Kovács, Z., Petrović, I., Recio, T., & Weitzhofer, S. (2015). Automated theorem proving in GeoGebra: Current achievements. Journal of Automated Reasoning, 5(1), 39–59.
2. Botana, F., Kovács, Z., Martínez-Sevilla, A., Recio, T. (2019). Automatically Augmented Reality with GeoGebra. In: Prodromou, T. (Ed.), Augmented reality in educational settings, 347–368, Brill/Sense, Leiden, The Netherlands. https://doi.org/10.1163/9789004408845.
3. Chou, S. C. (1998). Mechanical geometry theorem proving. Dordrecht, Netherlands: D. Reidel Publishing Company.
4. Gamboa, J. M. (2019). Problemas resueltos de oposiciones. Tomo 9, et al. (2017). Y 2018) (2nd ed.). Madrid, Spain: Editorial Deimos.
5. Hohenwarter, M., Kovács, Z., & Recio, T. (2019). Using GeoGebra automated reasoning tools to explore geometric statements and conjectures. In G. Hanna, M. de Villiers, & D. Reid (Eds.), Proof technology in mathematics research and teaching, series: Mathematics education in the digital era (Vol. 14, pp. 215–236). Cham: Springer.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献