Showing Proofs, Assessing Difficulty with GeoGebra Discovery

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

ISSN: 2075-2180

Año de publicación: 2024

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

Volumen: 398

Páginas: 43-52

Tipo: Aportación congreso

DOI: 10.4204/EPTCS.398.8 GOOGLE SCHOLAR lock_openAcceso abierto editor

Objetivos de desarrollo sostenible

Fuente de los datos: Scopus