Richard, P. R., Venant, F., & Gagnon, M. (2019). Issues and challenges in instrumental proof. Dans Proof Technology in Mathematics Research and Teaching (Vol. 14, p. 139-172). Lien externe
