Showing Proofs, Assessing Difficulty with GeoGebra Discovery.

Zoltán Kovács Tomás Recio M. Pilar Vélez

Published in: CoRR (2024)

Keyphrases

knowledge discovery
databases
theorem proving
decision procedures
scientific discovery
formal proof
mathematical proofs
knowledge base
expert systems
formal proofs