Breve CV
Licenciado en Matemáticas. Doctor en Informática.
5 últimos artículos de investigación:
Automated theorem proving in GeoGebra: Current achievements, Journal of Automated Reasoning 55 (2015) 39-59 (with M. Hohenwarter, P. Janicic, Z. Kovács, I. Petrovic, T. Recio and S. Weitzhofer)
A Singular web service for geometric computations, Annals of Mathematics and Artificial Intelligence, 2015 (with Z. Kovács)
An algebraic taxonomy for locus computation in dynamic geometry, Computer-Aided Design 56 (2014) 22-33 (with M. Abanades, A. Montes and T. Recio)
A parametric approach to 3D dynamic geometry, Mathematics and Computers inSimulation 104 (2014) 3-20
Automatic deduction in (dynamic) geometry: Loci computation, Computational Geometry 47 (1) (2014) 75-89 (with M. Abanades)
