Tomas Recio|TJR Muñiz, T. Recio, Tomas Jesus Recio Muñiz

Tomas Recio|TJR Muñiz, T. Recio, Tomas Jesus Recio Muñiz

Universidad Nebrija - / Spain
Education / Mathematics and Science Education
AD Scientific Index ID: 4314053
Nebrija University
person_outline Tomas Recio|TJR Muñiz, T. Recio, Tomas Jesus Recio Muñiz's MOST POPULAR ARTICLES
1-) Automatic discovery of theorems in elementary geometry T Recio, MP Vélez Journal of automated reasoning 23 (1), 63-82, 1999 1551999
2-) Automated theorem proving in GeoGebra: Current achievements F Botana, M Hohenwarter, P Janičić, Z Kovács, I Petrović, T Recio, ... Journal of Automated Reasoning 55 (1), 39-59, 2015 1342015
3-) Sturm-habicht sequenceL Gonzalez, H Lombardi, T Recio, MF RoyProceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and …, 1989971989
4-) A rational function decomposition algorithm by near-separated polynomialsC Alonso, J Gutierrez, T RecioJournal of Symbolic Computation 19 (6), 527-544, 1995801995
5-) Sturm—habicht sequences, determinants and real roots of univariate polynomialsL González-Vega, T Recio, H Lombardi, MF RoyQuantifier Elimination and Cylindrical Algebraic Decomposition, 300-316, 1998791998