output
20072026
most citedA metric on the space of finite sets of trajectories for evaluation of multi-target tracking algorithms

112 citations

researchers with a paper here
collaborating institutions
Showing 2024 · cs.SCShow all

2 papers · 2 filters

cs.SC2024★ 2 cited

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

Belén Ariño-Morera, Zoltán Kovács, Tomás Recio +1

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 giv…

cs.SC2024★ 4 cited

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

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

In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance…