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
Datum der Publikation: 2024
Proceedings - 14th International Conference on Automated Deduction in Geometry, ADG 2023
Ausgabe: 398
Seiten: 101-109
Art: Konferenz-Beitrag