Publisher
Springer Science and Business Media LLC
Reference38 articles.
1. Aricha-Metzer, I., & Zaslavsky, O. (2019). The nature of students’ productive and non-productive example-use for proving. The Journal of Mathematical Behavior, 53, 304–322.
2. Artigue, M. (2016). Mathematics education research at university level: Achievements and challenges. In Proc. 1st Conf. of INDRUM (pp. 11–27).
3. Avigad, J. (2019). Learning logic and proof with an interactive theorem prover. In Proof technology in mathematics research and teaching (pp. 277–290). Springer.
4. Azrou, N., & Khelladi, A. (2019). Why do students write poor proof texts? a case study on undergraduates’ proof writing. Educational Studies in Mathematics, 102(2), 257–274.
5. Broda, K., Ma, J., Sinnadurai, G., & Summers, A. (2007). Pandora: a reasoning toolbox using natural deduction style. Logic Journal of the IGPL, 15(4), 293–304.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献