5 citations · 6 across the 3 of their papers we have counts for
3 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.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…
alg-geom1993
An algorithmic criterion for basicness in dimension 2
F. Acquistapace, F. Broglia, M. Pilar Velez
We give a constructive procedure to check basicness of open (or closed) semialgebraic sets in a compact, non singular, real algebraic surface . It is rather clear that if a semi…