Author:
Hanna Gila,Larvor Brendan,Yan Xiaoheng Kitty
Funder
Social Sciences and Humanities Research Council
Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Aigner, M., & Ziegler, G. M. (2010). Proofs from The BOOK (4th ed.). Springer.
2. Alekhnovich, M. (2004). Mutilated chessboard problem is exponentially hard for resolution. Theoretical Computer Science, 310(1–3), 513–525.
3. Avigad, J. (2023). Mathematics and the formal turn. Bulletin (New Series) of the American Mathematical Society. https://arxiv.org/pdf/2311.00007.pdf
4. Balacheff, N., & de la Tour, T. B. (2019). Proof technology and learning in mathematics: Common issues and perspectives. In G. Hanna, D. Reid, & M. de Villiers (Eds.), Proof Technology in Mathematics Research and Teaching (pp. 349–365). Springer.
5. Bartzia, E. I., Beffara, E., Meyer, A., & Narboux, J. (2023). Proof assistants for undergraduate mathematics education: Elements of an a priori analysis. https://hal.science/hal-04087080v1/document