![Foto de Tomás Jesús](/img/nophoto.png)
Tomás Jesús
Recio Muñiz
Publikationen, an denen er mitarbeitet Tomás Jesús Recio Muñiz (23)
2024
-
Geometric Loci and ChatGPT: Caveat Emptor! †
Computation, Vol. 12, Núm. 2
2021
-
A Mechanical Geometer
Mathematics in Computer Science, Vol. 15, Núm. 4, pp. 631-641
2020
-
Automatically Augmented Reality with GeoGebra
Augmented reality in educational settings (Brill Sense), pp. 347-368
-
Hacia un autómata geómetra
Gaceta de la Real Sociedad Matematica Española, Vol. 23, Núm. 2, pp. 343-373
-
Special issue on dynamic geometry and automated reasoning
Journal of Symbolic Computation
2019
-
A Proposal for the Automatic Computation of Envelopes of Families of Plane Curves
Journal of Systems Science and Complexity, Vol. 32, Núm. 1, pp. 150-157
-
Automatically Augmented Reality with GeoGebra
Augmented Reality in Educational Settings (Brill), pp. 347-368
2018
-
Towards an automated geometer
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
-
Computing envelopes in dynamic geometry environments
Annals of Mathematics and Artificial Intelligence, Vol. 80, Núm. 1, pp. 3-20
-
The role of automated reasoning of geometry statements in mathematics instruction
PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10)
2016
-
Descubrimiento Automático en GeoGebra: primeros pasos
XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016
-
Development of automatic reasoning tools in GeoGebra
ACM Communications in Computer Algebra, Vol. 50, Núm. 3, pp. 85-88
-
On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving
Mathematics in Computer Science, Vol. 10, Núm. 1, pp. 5-25
-
Some issues on the automatic computation of plane envelopes in interactive environments
Mathematics and Computers in Simulation, Vol. 125, pp. 115-125
-
Towards the automatic discovery of theorems in GeoGebra
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
Automated Theorem Proving in GeoGebra: Current Achievements
Journal of Automated Reasoning, Vol. 55, Núm. 1, pp. 39-59
2014
-
An algebraic taxonomy for locus computation in dynamic geometry
CAD Computer Aided Design, Vol. 56, pp. 22-33
-
Software using the Gröbner cover for geometrical loci computation and classification
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using Maple's RegularChains library to automatically classify plane geometric loci
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
A propósito de la envolvente de una familia de elipses
Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 95, pp. 15-30