Solving with GeoGebra Discovery an Austrian Mathematics Olympiad Problem: Lessons Learned
- Ariño-Morera, B.
- Kovács, Z.
- Recio, T.
- Tolmos, P.
ISSN: 2075-2180
Année de publication: 2024
Proceedings - 14th International Conference on Automated Deduction in Geometry, ADG 2023
Volumen: 398
Pages: 101-109
Type: Communication dans un congrès