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

  1. Ariño-Morera, B.
  2. Kovács, Z.
  3. Recio, T.
  4. Tolmos, P.
Actes:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Any de publicació: 2024

Proceedings - 14th International Conference on Automated Deduction in Geometry, ADG 2023

Volum: 398

Pàgines: 101-109

Tipus: Aportació congrés

DOI: 10.4204/EPTCS.398.13 GOOGLE SCHOLAR lock_openAccés obert editor