Concepedia

Tomás Recio

TR

Statistics

Publications

38

Citations

1.1K

H-Index

18

Active since

1983

Affiliations

Universidad de Cantabria(Current)

Universidad Nebrija

Private Pädagogische Hochschule der Diözese Linz

Universidad Complutense de Madrid

Universidad de Alcalá

Tomás Recio is an author at Universidad de Cantabria specializing in mathematics, geometry, and computer science.

ORCID

Publications per year

1983–2022

38

Publications

38

Automatic Discovery of Theorems in Elementary Geometry

Tomás Recio, M. Pilar Vélez · Journal of Automated Reasoning · 1999 · 103 citations

, , +14

Automated Theorem Proving in GeoGebra: Current Achievements

Francisco Botana, Markus Hohenwarter, Predrag Janičić et al. · Journal of Automated Reasoning · 2015 · 102 citations

, , +14

Sturm-Habicht sequence

L. Gaonzalez, Henri Lombardi, Tomás Recio et al. · 1989 · 83 citations

, , +4

Evaluation of a triple-lumen central venous heparin-coated catheter versus a catheter coated with chlorhexidine and silver sulfadiazine in critically ill patients

M. N. Carrasco, A. Bueno, Carlos De las Cuevas et al. · Intensive Care Medicine · 2004 · 62 citations

, , +15

A Rational Function Decomposition Algorithm by Near-separated Polynomials

César L. Alonso, Jaime Gutiérrez, Tomás Recio · Journal of Symbolic Computation · 1995 · 62 citations

, , +10

1–5 of 38