Zobrazeno 1 - 10
of 138
pro vyhledávání: '"Recio, Tomas"'
Publikováno v:
EPTCS 398, 2024, pp. 101-109
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem gives rise to four different kind of feedback: the almost instantaneous,
Externí odkaz:
http://arxiv.org/abs/2401.11906
Publikováno v:
EPTCS 398, 2024, pp. 43-52
In our contribution we describe some on-going 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 ou
Externí odkaz:
http://arxiv.org/abs/2401.11900
Publikováno v:
EPTCS 352, 2021, pp. 141-147
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 contexts.
Comment: In Proceedings ADG 2021, arXiv:2112.14770
Comment: In Proceedings ADG 2021, arXiv:2112.14770
Externí odkaz:
http://arxiv.org/abs/2201.07362
Autor:
Gomez-Diaz, Teresa, Recio, Tomas
Publikováno v:
F1000Research 2019, 8:1353
Background: Evaluation of the quality of research software is a challenging and relevant issue, still not sufficiently addressed by the scientific community. Methods: Our contribution begins by defining, precisely but widely enough, the notions of re
Externí odkaz:
http://arxiv.org/abs/2108.06136
Autor:
Gomez-Diaz, Teresa, Recio, Tomas
Publikováno v:
Research Ideas and Outcomes 7: e63872 (2021)
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 in the European Open Science Cloud (EOSC) architecture design.
Externí odkaz:
http://arxiv.org/abs/2108.06127
Publikováno v:
In Journal of Symbolic Computation January-February 2024 120
Autor:
Gomez-Diaz, Teresa, Recio, Tomas
Publikováno v:
POLIS N. 19, 2020
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 and legal framework where research outputs are shared and disseminated i
Externí odkaz:
http://arxiv.org/abs/2010.04508
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 p
Externí odkaz:
http://arxiv.org/abs/1802.05875
Autor:
Gomez-Diaz, Teresa, Recio, Tomas
Publikováno v:
Computers (2073-431X); Nov2024, Vol. 13 Issue 11, p302, 16p
Publikováno v:
Computers (2073-431X); Aug2024, Vol. 13 Issue 8, p187, 30p