Statistics
Publications
38
Citations
1K
H-Index
18
Active since
1983
Tomás Recio is an author at Universidad de Cantabria specializing in geometry, engineering, and computational geometry.
Publications per year
1983–2022
38
38
Automatic Discovery of Theorems in Elementary Geometry
Tomás Recio, M. Pilar Vélez · Journal of Automated Reasoning · 1999 · 102 citations
Automated Theorem Proving in GeoGebra: Current Achievements
Francisco Botana, Markus Hohenwarter, Predrag Janičić et al. · Journal of Automated Reasoning · 2015 · 101 citations
L. Gaonzalez, Henri Lombardi, Tomás Recio et al. · 1989 · 82 citations
M. N. Carrasco, A. Bueno, Carlos De las Cuevas et al. · Intensive Care Medicine · 2004 · 62 citations
Critical Care Medicine, Ill Patients, Silver Sulfadiazine +6
1–5 of 38