References
- Ben-Chaim, D., Katz, S., & Stupel, M. (2017). Variance and invariance-focused instruction in dynamic geometry environments to foster mathematics self-efficacy. Far East Journal of Mathematical Education, 16(4), 371–418. https://doi.org/https://doi.org/10.17654/ME016040371
- Botana, F., Hohenwarter, M., Janicic, P., Kovács, Z., Petrović, I., Recio, T., & Weitzhofer, S. (2015). Automated theorem proving in GeoGebra: Current achievements. Journal of Automated Reasoning, 55(1), 39–59. https://doi.org/https://doi.org/10.1007/s10817-015-9326-4
- Dana-Picard, T., Naiman, A., Mozgawa, W., & Cieślak, W. (2020). Exploring the isoptics of fermat curves in the affine plane using DGS and CAS. Mathematics in Computer Science, 14(1), 45–67. https://doi.org/https://doi.org/10.1007/s11786-019-00419-2
- De Villiers, M. (1998). An alternative approach to proof in dynamic geometry. In R. Lehrer & D. Chazan (Eds.), Designing learning environments for developing understanding of geometry and space (pp. 369–394). Lawrence Erlbaum Associates.
- De Villiers, M. (2004). The role and function of quasi-empirical methods in mathematics. Canadian Journal of Science, Mathematics and Technology Education, 4(3), 397–418. https://doi.org/https://doi.org/10.1080/14926150409556621
- 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). Springer.
- Kovács, Z. (2015). Computer based conjectures and proofs in teaching Euclidean geometry [Doctoral dissertation]. JKU. https://www.researchgate.net/publication/282217663_Computer_Based_Conjectures_and_Proofs_in_Teaching_Euclidean_Geometry#fullTextFileContent
- Kovács, Z., Recio, T., Richard, P. R., & Vélez, M. P. (2017). Geogebra automated reasoning tools: A tutorial with examples. In G. Aldon & J. Trgalova (Eds.), Proceedings of the 13th International Conference on Technology in Mathematics Teaching (pp. 400–404). Lyon: Ecole Normale Supérieure. https://www.researchgate.net/publication/321162514_GEOGEBRA_AUTOMATED_REASONING_TOOLS_A_TUTORIAL_WITH_EXAMPLES
- Kovács, Z., Recio, T., & Vélez, M. P. (2018). Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry. The International Journal for Technology in Mathematics Education, 25(2), 33–50. https://www.researchgate.net/publication/326632420_Using_Automated_Reasoning_Tools_in_GeoGebra_in_the_Teaching_and_Learning_of_Proving_in_Geometry
- Leung, A. (2003). Dynamic geometry and the theory of variation. International Group for the Psychology of Mathematics Education, 3, 197–204.
- Leung, A. (2008). Dragging in a dynamic geometry environment through the lens of variation. International Journal of Computers for Mathematical Learning, 13(2), 135–157. https://doi.org/https://doi.org/10.1007/s10758-008-9130-x
- Leung, A. (2014). Principles of acquiring invariant in mathematics task design: A dynamic geometry example. In Proceedings of the Joint Meeting of PME 38 and PME-NA 36 (Vol. 4, pp. 89–96). PME. http://www.pmena.org/pmenaproceedings/PMENA%2036%20PME%2038%202014%20Proceedings%20Vol%204.pdf
- Libeskind, S., Stupel, M., & Oxman, V. (2018). The concept of invariance in school mathematics. International Journal of Mathematical Education in Science and Technology, 49(1), 107–120. https://doi.org/https://doi.org/10.1080/0020739X.2017.1355992
- Martin, G. E. (1998). Geometric constructions. Springer.
- Marton, F., Runesson, U., & Tsui, A. B. M. (2004). The space of learning. In F. Marton & A. B. M. Tsui (Eds.), Classroom discourse and the space of learning (pp. 3–40). Lawrence Erlbaum Associates. INC Publishers.
- Segal, R., & Stupel, M. (2015). Investigative task in incorporating computerized technology with conserved property and generalization. The Electronic Journal of Mathematics and Technology, 9(2), 124–137.
- Sinitsky, I., & Ilany, B. (2016). Change and Invariance. A textbook on Algebraic insight into numbers and shapes. Sense Publishers. pp. 8-17, 286-294.
- Stupel, M., & Ben-Chaim, D. (2013). One problem, multiple solutions: How multiple proofs can connect several areas of mathematics. The Far East Journal of Mathematical Education, 11(2), 129–161.
- Wassie, Y. A., & Zergaw, G. A. (2018). Capabilities and contributions of the dynamic math software, GeoGebra: A review. North American GeoGebra Journal, 7(1), 68–86.