activity
20072022
most citedAutomatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems

18 citations · 64 across the 7 of their papers we have counts for

collaborators

7 papers

cs.HC2022★ 5 cited

GeoGebra Discovery in Context

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

In our contribution we will reflect, through a collection of selected examples, on the potential impact of the GeoGebra Discovery application on different social and educational co…

cs.SE2021★ 17 cited

On the evaluation of research software: the CDUR procedure

Teresa Gomez-Diaz, Tomas Recio

Background: Evaluation of the quality of research software is a challenging and relevant issue, still not sufficiently addressed by the scientific community. Methods: Our contribut…

cs.DL2021★ 6 cited

Open comments on the Task Force SIRS report: Scholarly Infrastructures for Research Software (EOSC Executive Board, EOSCArchitecture)

Teresa Gomez-Diaz, Tomas Recio

The goal of this document is to openly contribute with our comments to the EOSCArchitecture report: Scholarly Infrastructures for Research Software (SIRS), and thus, to participate…

cs.CY2020★ 2 cited

Towards an Open Science definition as a political and legal framework: on the sharing and dissemination of research outputs

Teresa Gomez-Diaz, Tomas Recio

It is widely recognised nowadays that there is no single, accepted, unified definition of Open Science, which motivates our proposal of an Open Science definition as a political an…

cs.AI2018★ 1 cited

Detecting truth, just on parts

Zoltán Kovács, Tomás Recio, M. Pilar Vélez

We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some rel…

math.AG2007★ 15 cited

Generalizing circles over algebraic extensions

Tomas Recio, J. Rafael Sendra, Luis Felipe Tabera +1

This paper deals with a family of spatial rational curves that were introduced by Andradas, Recio and Sendra, under the name of hypercircles, as an algorithmic cornerstone tool in…