Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Velez, M. Pilar"'
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
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
Publikováno v:
In Journal of Symbolic Computation March-April 2020 97:16-30
We give a constructive procedure to check basicness of open (or closed) semialgebraic sets in a compact, non singular, real algebraic surface $X$. It is rather clear that if a semialgebraic set $S$ can be separated from each connected component of $X
Externí odkaz:
http://arxiv.org/abs/alg-geom/9312006
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.