##
###
Improving QED-Tutrix by Automating the Generation of Proofs

Ludovic Font, Philippe R. Richard, Michel Gagnon

2018
*
Electronic Proceedings in Theoretical Computer Science
*

*QED*-Tutrix offers an interesting approach *to* geometry education, but is currently crippled by the lengthiness of the process of implementing new problems, a task that must still *be* done manually. ...
by the teacher, and 4) *to* *be* able *to* help the student at any step of the resolution of the problem, if the need arises. ...
In Section 2, we present systems similar *to* *QED*-Tutrix, and also existing tools for automated theo- rem *proving* that could *be* useful for the task of generating proofs. ...

doi:10.4204/eptcs.267.3
fatcat:ltk6vod4ezdgzfiy23axok6foy