Showing Proofs, Assessing Difficulty with GeoGebra Discovery

  1. Kovács, Z.
  2. Recio, T.
  3. Pilar Vélez, M.
Proceedings:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Year of publication: 2024

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

Volume: 398

Pages: 43-52

Type: Conference paper

DOI: 10.4204/EPTCS.398.8 GOOGLE SCHOLAR lock_openOpen access editor

Sustainable development goals

Data source: Scopus