Vavilov, N. A. Computers as a novel mathematical reality. I: A personal account. (English. Russian original) Zbl 1519.01027 Dokl. Math. 107, No. 2, 130-141 (2023); translation from Komp’yut. instrument. obrazovan. 2020, No. 2, 5-27 (2020). MSC: 01A80 68-03 97U50 PDFBibTeX XMLCite \textit{N. A. Vavilov}, Dokl. Math. 107, No. 2, 130--141 (2023; Zbl 1519.01027); translation from Komp'yut. instrument. obrazovan. 2020, No. 2, 5--27 (2020) Full Text: DOI
Aberdein, Andrew The parallel structure of mathematical reasoning. (English) Zbl 1355.97003 Aberdein, Andrew (ed.) et al., The argument of mathematics. Dordrecht: Springer (ISBN 978-94-007-6533-7/hbk; 978-94-007-6534-4/ebook). Logic, Epistemology, and the Unity of Science 30, 361-380 (2013). MSC: 97E50 00A35 00A30 PDFBibTeX XMLCite \textit{A. Aberdein}, Log. Epistemol. Unity Sci. 30, 361--380 (2013; Zbl 1355.97003) Full Text: DOI
Quinn, Frank Contemporary proofs for mathematics education. (English) Zbl 1247.97017 Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 231-257 (2012). MSC: 97E50 97D40 PDFBibTeX XMLCite \textit{F. Quinn}, New ICMI Stud. Ser. 15, 231--257 (2012; Zbl 1247.97017) Full Text: DOI
Borwein, Jonathan Michael Exploratory experimentation: digitally-assisted discovery and proof. (English) Zbl 1259.97011 Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 69-96 (2012). MSC: 97E50 97U70 PDFBibTeX XMLCite \textit{J. M. Borwein}, New ICMI Stud. Ser. 15, 69--96 (2012; Zbl 1259.97011) Full Text: DOI