Tomas Recio - Academia.edu (original) (raw)

Papers by Tomas Recio

The goal of this document is to openly contribute with our comments to the Open Letter [1] Establ... more The goal of this document is to openly contribute with our comments to the Open Letter [1] Establishing a national research software award published in Open Research Europe, that has received two Referee reports [2, 3]. We hope that they can contribute to enrich the discussion on the involved subjects. Moreover, we think that these suggestions could be also useful for the authors to react to the Referees' comments when they discuss and ask for more precision regarding both the concept of research software presented in the Open Letter, and the proposed evaluation criteria and steps.

Electronic proceedings in theoretical computer science, Jan 19, 2024

In our contribution we describe some ongoing improvements concerning the Automated Reasoning Tool... more In our contribution we describe some ongoing improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that outputs both the sequence of the different steps performed by GeoGebra Discovery to confirm a certain statement, as well as a number intending to grade the difficulty or interest of the assertion. The proposal of this assessment measure, involving the comparison of the expression of the thesis (or conclusion) as a combination of the hypotheses, will be developed.

Maple transactions, Jan 4, 2024

Background. Open Science seeks to render research outputs visible, accessible, reusable. The Open... more Background. Open Science seeks to render research outputs visible, accessible, reusable. The Open Science framework is currently evolving vigorously due, among others reasons, to the UNESCO Open Science Recommendation adopted in November 2021. In this context, it is relevant to better visualize and describe the relationships that hold among the direct protagonists of this changing landscape: research teams and their research outputs, namely: articles, software and data, as their comprehension will certainly contribute to foster better Open Science practices. Method. In this work we review and describe, through the information collected in a large number of bibliographic references, the current changing trends involving some essential, defining, characteristics and behaviors of the main components of the scientific production, namely, research teams and three kinds of research outputs they produce in many scientific areas. This comparative study is based, among others, in our recent work on the evolving concepts of research software, research data in the context of Open Science. Results. In this work we observe and document some key features in this evolving landscape such as the changing and extended roles of research team members; the need to develop a new citing and referencing culture for articles, but specially for research software and data; the rising relevance of open access (to publications, software, data) policies all over the world; the existence of some barriers and difficulties like the regulations concerning academic research close to industry, or other technological applications; the need to develop standards for the "right to be forgotten"; the need to consider the impact of Open Science costs for less favored communities, countries, institutions.. . Conclusions. This calls for the urgent need to observe and depict further this changing Open Science ecosystem, and to propose-as we have partially attempted in this work-new concepts to analyze this context as well as to contribute to ongoing research-on-research and to improve the implementation of Open Science practices, in order to foster better ways towards a sound, inclusive and fairer Open Science landscape.

Zenodo (CERN European Organization for Nuclear Research), Jul 18, 2023

The goal of this text is to write down and extend the questions and answers that have been prepar... more The goal of this text is to write down and extend the questions and answers that have been prepared for the Podcast Code for Thought registered in May 2023 at the Laboratoire d'informatique Gaspard-Monge (LIGM), located at the Gustave Eiffel University, at the Est of Paris. This podcast goal was to have an informal conversation about the recent published work on Research Software and Research Data in the Open Science context by T. Gomez-Diaz and T. Recio. The interview was conducted by Peter Schmidt, who provided the questions we do answer here, and that were answered by T. Gomez-Diaz in the recorded podcast. The podcast, entitled Open Data, Open Software-with Teresa Gomez-Diaz, is now published 1 .

Journal of Symbolic Computation, 2024

Mathematics in Computer Science, Nov 20, 2020

We present a new method for the systematic and automated finding of theorems holding on a given e... more We present a new method for the systematic and automated finding of theorems holding on a given elementary geometry figure. The process is illustrated by means of the software tool Automated Geometer, developed by the authors on top of GeoGebra, a dynamic geometry system with millions of users at high schools and universities, all over the world, thus conferring our proposal with a potential impact beyond the scientific community context. The Automated Geometer exploits GeoGebra’s recently added new functionalities concerning the automated verification or denial of geometric properties conjectured by the user. We emphasize that the method for mechanically finding a complete list of geometric properties that hold on a user-provided construction, is purely symbolic, thus giving such properties rigorous mathematical certainty.

Zenodo (CERN European Organization for Nuclear Research), Nov 2, 2020

The goal of this document is to openly contribute with our comments to the EOSCArchitecture repor... more The goal of this document is to openly contribute with our comments to the EOSCArchitecture report: Scholarly Infrastructures for Research Software (SIRS), draft version dated October 2020. This SIRS draft report is open for consultation as a Google document 1 , as has been announced at the EOSC Symposium (19-22 October 2020, Online) 2. Political evolutions in digital policy have been recently announced by Ursula von der Leyen, President of the European Commission. They are designed to enhance Europe's strategic autonomy [10]. In this context, and in order to contribute to and to support the Europe's Digital sovereignty, we have avoided the use of Google accounts, and therefore the direct editing of the above mentioned Google document. Our participation to this EOSC effort takes then the form of the present document, that will be available in Zenodo. 2 Comments In this section we propose a list of comments to the SIRS draft report. Each comment is associated to one section or subsection of the draft. Please note that some short extracts of the SIRS report have been included here and are, thus, out of context. We recommend the consultation of the original text, as maybe some mistakes or misinterpretations could have been unintentionally introduced in the present text. Section 2.1 Scope and goals-Research software definition This section 2.1 introduces the concept of research software used in the report as follows: the term "research software" may carry very different meanings in different research communities: in this report, we will use this term simply to designate software that researchers in any discipline may feel the need to have scholarly infrastructure support for, no matter if it is considered a tool, a result or an object of study. Please note that this definition does not imply any difference between the concepts of software and research software, as this research software presentation could easily include any version of the Windows operating system, Matlab and many other commercial software. For example a history researcher could feel that all software developed since 1960 should be preserved for further studies.

Journal of Symbolic Computation, Mar 1, 2020

Special issue on dynamic geometry and automated reasoning Along the last half century, automated ... more Special issue on dynamic geometry and automated reasoning Along the last half century, automated deduction in elementary geometry has increasingly become one of the most successful achievements in the field of automated reasoning. Along these decades various methods and techniques have been studied and developed for automated proving and discovering of elementary geometry statements. On the other hand, dynamic geometry software systems have emerged, such as Cabri Geometry, C.a.R., Cinderella, DrGeo, GeoGebra, The Geometer's Sketchpad, Geometry Expert, Geometry Expressions or Kig, with an ever-increasing presence in mathematics education. Some of them possess a large number of users (over thirty million) all around the world. The merging of these two tools (automatic proving and dynamic geometry) is, thus, a very natural, challenging and promising issue, currently involving logic, symbolic computation, software development, algebraic geometry and mathematics education experts from all over the world. This special issue focuses on the relationship between both subjects, automated reasoning in geometry and dynamic geometry. The fourth quarter of last century saw the appearance and diffusion of a new paradigm of software for secondary mathematics education. Exploiting the new abilities of personal computers, Cabri Geometry and The Geometer's Sketchpad were developed in France and USA, respectively, by teams leaded by computer scientists and mathematics educators. They offered a kind of electronic blackboard with an accurate framework for playing with elementary geometry, more faithful than the traditional one with paper and pencil. Although outperforming standard ways for teaching and learning geometry, the development of these environments forced designers to adopt strategies and ad-hoc solutions, putting away these programs from the Platonic ideal of geometry. On its side, automated reasoning in geometry has evolved along the last seventy years, beginning with the method of quantifier elimination of Tarski. This algebraic way was improved by other proposals, for instance the methods of Gröebner bases and Wu's characteristic set, to mention the most successful ones. Other parallel attempts follow the synthetic approach to geometry, mimicking traditional proving methods. Finally, there are other mixed approaches such as the area method, for instance. This issue is a faithful example on the successful interplay from people of both communities, dynamic geometry and automated reasoning in geometry. We hope that it will serve as a snapshot of some of their current findings, and, at the same time, it will be a spur for future developments through the cross-fertilization of both fields. This special issue was announced through an open call until 1 February 2018. 14 submissions were received, and after a two step reviewing procedure, 5 papers were selected for publication. The paper by Selaković, Marinković and Janičić presents a new software concept, inverting the functional view of usual digital geometry software, with free elements driving dependent objects, allowing for the backwards piloting of free elements through the modification of subsequent elements. This requires a lot of very fine tuned symbolic computations.

We investigate and generalize to an extended framework the notion of true on components labeled b... more We investigate and generalize to an extended framework the notion of true on components labeled by Zhou, Wang and Sun in their paper "Automated Reducible Geometric Theorem Proving and Discovery by Gröbner Basis Method", J. Automat. Reasoning 59 (3), 331-344, 2017. A new, simple criterion is presented for a statement to be simultaneously not generally true and not generally false (i.e. true on components), and its performance is exemplified through the implementation of this test in the dynamic geometry program GeoGebra. This extended abstract is based on a recent work by the authors [5].

It is well known that Dynamic Geometry (DGS) software systems can be useful tools in the teaching... more It is well known that Dynamic Geometry (DGS) software systems can be useful tools in the teaching/learning of reasoning and proof. GeoGebra 5.0 was recently extended by an Automated Theorem Prover (ATP) subsystem that is able to compute proofs of Euclidean geometry statements. Free availability and portability of GeoGebra has made it possible to harness these novel techniques on tablets, smartphones and computers. Then, we think it is urgently necessary to address the new challenges posed by the availability of geometric ATP's to millions of students worldwide.

arXiv (Cornell University), Feb 16, 2018

We introduce and discuss, through a computational algebraic geometry approach, the automatic reas... more We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test on the dynamic geometry program GeoGebra. Keywords automatic deduction in geometry, automatic geometry theorem proving • automatic geometry theorem discovery • elementary geometry • Gröbner basis • zero divisor • true on parts, false on parts • true on components • dynamic geometry

arXiv (Cornell University), Mar 16, 2007

The main proposal in this paper is the merging of two techniques that have been recently develope... more The main proposal in this paper is the merging of two techniques that have been recently developed. On the one hand, we consider a new approach for computing some specializable Gröbner basis, the so called Minimal Canonical Comprehensive Gröbner Systems (MCCGS) that is-roughly speaking-a computational procedure yielding "good" bases for ideals of polynomials over a field, depending on several parameters, that specialize "well", for instance, regarding the number of solutions for the given ideal, for different values of the parameters. The second ingredient is related to automatic theorem discovery in elementary geometry. Automatic discovery aims to obtain complementary (equality and inequality type) hypotheses for a (generally false) geometric statement to become true. The paper shows how to use MCCGS for automatic discovering of theorems and gives relevant examples.

Concept: Research Software (RS) (1/3) [2] (1994) Partha D, David PA: Toward a new economics of sc... more Concept: Research Software (RS) (1/3) [2] (1994) Partha D, David PA: Toward a new economics of science there may be important positive spillovers across projects in the form of "learning effects" [...] including the development of computer software for performing data processing, storage, retrieval and network transmission. [16] (2011) Kelly D: An Analysis of Process Characteristics for Dev. Scientific Soft. Scientific software is defined by (1) it is developed to answer a scientific question ; (2) it relies on the close involvement of an scientific expert ; and (3) it provides data to be examined by the person who will answer that question ... [12] (2011) TGD: Article vs. Logiciel: questions juridiques et de politique scientifique... (2009) TGD: Guide laboratoire pour recenser ses développements logiciels (PLUME) logiciel du laboratoire tout programme utile pour faire avancer la recherche, qui aété produit avec la participation d'un membre du laboratoire. Il arrive souvent que des publications de recherche soient associées. [18] (2012) Sletholt MT, Hannay JE, et al.: What Do We Know about Scientific Software Development's Agile Practices ? software developed by scientists for scientists [19] (2016) Hettrick S: Research Software Sustainability Research software is developed within academia and used for the purposes of research: to generate, process and analyse results. This includes a broad range of software, programs written by researchers for their own use.

Boletín de la Sociedad Puig Adam de profesores de matemáticas, 2021

We propose building a community of "intelligent geometry" researchers, manifested by the creation... more We propose building a community of "intelligent geometry" researchers, manifested by the creation of a living Intelligent Geometry Book, to introduce many more people to computer-supported reasoning.

Conference on Automated Deduction, Aug 31, 2006

Journal of Symbolic Computation, 2007

On this occasion, MEGA was also an opportunity to celebrate the 60th birthday of Prof. Carlo Trav... more On this occasion, MEGA was also an opportunity to celebrate the 60th birthday of Prof. Carlo Traverso (Università di Pisa), one of the founders of MEGA and the chairman of the 2005 Conference. A special session within this MEGA, with several talks by colleagues and friends on his work and achievements, was devoted to honoring him. The next MEGA, MEGA 2007, will take place on June 24-30, 2007, at Strobl am Wolfgangsee, Austria. MEGA is run by a Steering Committee with the help of a larger Advisory Board, which takes care of refereeing the submitted contributions, only for oral presentation at the Conference. Even at this stage the refereeing process is quite strict, to keep the high standards of MEGA, so that the Conference can be regarded as the premier one in its field, presenting recent and ongoing major breakthroughs in its different topics of interest. Following the traditions of MEGA, at and after the Conference, a new call for papers is announced, inviting all the participants of MEGA to submit papers for a special issue in a prestigious journal. This invitation is also extended to any researcher interested in the topics of the MEGA. These papers are subject to a new refereeing procedure, under the independent responsibility of some appointed members of the Steering Committee. In this case, this task was assigned to Prof.