Computer Assisted Proofs and Automated Methods in Mathematics Education.

Thierry N. Dana-Picard

Published in: CoRR (2023)

Keyphrases

computer assisted
mathematics education
computer aided
theorem proving
middle school
theorem prover
foreign language
intraoperative
multimedia
reinforcement learning
pattern recognition
computer systems
language learning
grade students
surgical training
total knee replacement