Zoltán
Kovács
Publications by the researcher in collaboration with Zoltán Kovács (13)
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
-
Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?
Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning (Springer Suiza), pp. 23-44
-
Towards an ecosystem for computer-supported geometric reasoning
International Journal of Mathematical Education in Science and Technology, Vol. 53, Núm. 7, pp. 1701-1710
2021
-
Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
Zenodo
-
Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)
Zenodo
-
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
-
Hacia un autómata geómetra
Gaceta de la Real Sociedad Matematica Española, Vol. 23, Núm. 2, pp. 343-373
2019
-
Detecting truth, just on parts
Revista matemática complutense, Vol. 32, Núm. 2, pp. 451-474
2018
-
Detecting truth, just on parts, in automatic reasoning in geometry
Applications of Computer Algebra: proceedings
-
Enunciados ni ciertos ni falsos en razonamiento automático en geometría
Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 43, pp. 111-114