Improving QED-Tutrix by automating the generation of proofs

L Font, PR Richard, M Gagnon - arXiv preprint arXiv:1803.01468, 2018 - arxiv.org
The idea of assisting teachers with technological tools is not new. Mathematics in general,
and geometry in particular, provide interesting challenges when developing educative …
被引用次数：22 相关文章

Improving QED-Tutrix by Automating the Generation of Proofs

L Font, PR Richard, M Gagnon - arXiv e-prints, 2018 - ui.adsabs.harvard.edu
The idea of assisting teachers with technological tools is not new. Mathematics in general,
and geometry in particular, provide interesting challenges when developing educative …
[PDF] researchgate.net

[PDF][PDF] Improving QED-Tutrix by Automating the Generation of Proofs

L Font, PR Richard, M Gagnon - researchgate.net
The idea of assisting teachers with technological tools is not new. Mathematics in general,
and geometry in particular, provide interesting challenges when developing educative …

[引用][C] Improving QED-Tutrix by automating the generation of proofs

L Font, PR Richard, M Gagnon - Electronic Proceedings in …, 2018 - publications.polymtl.ca
Improving QED-Tutrix by automating the generation of proofs - PolyPublie < Retour au portail
Polytechnique Montréal English Accueil À propos Déposer Parcourir Chercher Se connecter …
[PDF] archive.org

[PDF][PDF] Improving QED-Tutrix by Automating the Generation of Proofs

L Font, PR Richard, M Gagnon - scholar.archive.org
The idea of assisting teachers with technological tools is not new. Mathematics in general,
and geometry in particular, provide interesting challenges when developing educative …