Zobrazeno 1 - 10
of 26
pro vyhledávání: '"M. Pilar Vélez"'
Publikováno v:
Mathematics, Vol 11, Iss 2, p 473 (2023)
In this paper, we describe an educational experience in the context of the Master’s degree that is compulsory in Spain to become a secondary education mathematics teacher. Master’s students from two universities in Madrid (Spain) attended lecture
Externí odkaz:
https://doaj.org/article/65c1b56681a34374b790f9e4c0d232b8
Publikováno v:
Mathematics, Vol 9, Iss 16, p 1964 (2021)
We report, through different examples, the current development in GeoGebra, a widespread Dynamic Geometry software, of geometric automated reasoning tools by means of computational algebraic geometry algorithms. Then we introduce and analyze the case
Externí odkaz:
https://doaj.org/article/7fe22ffaae654ad0ae0b9972677a7d4c
Publikováno v:
Mathematics in Computer Science. 16
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71bac0c450c3989a3423d52988e97b3f
https://doi.org/10.1007/s11786-022-00532-9
https://doi.org/10.1007/s11786-022-00532-9
Publikováno v:
ACM Communications in Computer Algebra. 55:39-43
We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation incl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cbc9c7f760d6f9b746d3c0e47f43ee69
https://doi.org/10.1145/3493492.3493495
https://doi.org/10.1145/3493492.3493495
Publikováno v:
International Journal of Mathematical Education in Science and Technology. 53:1701-1710
In this study, we explore automated reasoning tools (ART) in geometry education and we argue that these tools are part of a wider, nascent ecosystem for computer-supported geometric reasoning. To p...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed492e03373503eeee10be8757f8a9db
https://doi.org/10.1080/0020739x.2020.1837400
https://doi.org/10.1080/0020739x.2020.1837400
Publikováno v:
Journal of Symbolic Computation. 97:16-30
We illustrate an on-going work on the crossroad of mechanical linkages, dynamic geometry and automated reasoning. In particular, we exemplify how some automated reasoning tools (ART) based on symbolic computation and recently implemented in GeoGebra,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16086e00498d7f59d76dd2bb1e75b0d3
https://doi.org/10.1016/j.jsc.2018.12.003
https://doi.org/10.1016/j.jsc.2018.12.003
Publikováno v:
Mathematics Education in the Age of Artificial Intelligence ISBN: 9783030869083
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6976cb53460d775fbd03298d41f0d19b
https://doi.org/10.1007/978-3-030-86909-0_2
https://doi.org/10.1007/978-3-030-86909-0_2
