Statistics
Publications
12
Citations
352
H-Index
11
Active since
2002
Francisco Botana is an author at Universidade de Vigo specializing in mathematics, computer science, and geometry.
Publications per year
2002–2020
12
12
Automated Theorem Proving in GeoGebra: Current Achievements
Francisco Botana, Markus Hohenwarter, Predrag Janičić et al. · Journal of Automated Reasoning · 2015 · 102 citations
An algebraic taxonomy for locus computation in dynamic geometry
Miguel Á. Abánades, Francisco Botana, Antônio Montes et al. · Computer-Aided Design · 2014 · 30 citations
Development of automatic reasoning tools in GeoGebra
Miguel Á. Abánades, Francisco Botana, Zoltán Kovács et al. · ACM communications in computer algebra · 2016 · 30 citations
1–5 of 12