<  Back to the Polytechnique Montréal portal

Issues and challenges in instrumental proof

Philippe R. Richard, Fabienne Venant and Michel Gagnon

Book Section (2019)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/51508/
Publisher: Springer
DOI: 10.1007/978-3-030-28483-1_7
Official URL: https://doi.org/10.1007/978-3-030-28483-1_7
Date Deposited: 18 Apr 2023 15:02
Last Modified: 29 Sep 2023 14:35
Cite in APA 7: Richard, P. R., Venant, F., & Gagnon, M. (2019). Issues and challenges in instrumental proof. In Proof Technology in Mathematics Research and Teaching (Vol. 14, 139-172). https://doi.org/10.1007/978-3-030-28483-1_7



Repository Staff Only

View Item View Item