María Pilar
Vélez Melón
Private University College of Education of the Diocese of Linz
Linz, AustriaPublicaciones en colaboración con investigadores/as de Private University College of Education of the Diocese of Linz (9)
2023
-
Dealing with degeneracies in automated theorem proving in geometry: A zero-dimensional approach
EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones
-
Towards Detection of Partial Truth via Real Geometry
CEUR Workshop Proceedings
2022
-
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
Mathematics in Computer Science, Vol. 16, Núm. 4
2021
-
Dealing with degeneracies in automated theorem proving in geometry
Mathematics, Vol. 9, Núm. 16
-
GeoGebra Discovery in Context
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Merging Maple and GeoGebra Automated Reasoning Tools
Communications in Computer and Information Science
2020
-
Reasoning about linkages with dynamic geometry
Journal of Symbolic Computation, Vol. 97, pp. 16-30
2019
-
Detecting truth, just on parts
Revista matemática complutense, Vol. 32, Núm. 2, pp. 451-474
2018
-
Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry
International Journal for Technology in Mathematics Education, Vol. 25, Núm. 2, pp. 33-51