Meytus, V. Yu. Problems of constructing intelligent systems. Intelligent modeling. (English. Russian original) Zbl 1491.68149 Cybern. Syst. Anal. 57, No. 4, 509-520 (2021); translation from Kibern. Sist. Anal. 57, No. 4, 3-19 (2021). MSC: 68T01 68T27 68T30 PDF BibTeX XML Cite \textit{V. Yu. Meytus}, Cybern. Syst. Anal. 57, No. 4, 509--520 (2021; Zbl 1491.68149); translation from Kibern. Sist. Anal. 57, No. 4, 3--19 (2021) Full Text: DOI OpenURL
Durand-Guerrier, Viviane; Boero, Paolo; Douek, Nadia; Epp, Susanna S.; Tanguay, Denis Argumentation and proof in the mathematics classroom. (English) Zbl 1247.97010 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, 349-367 (2012). MSC: 97E50 97D30 97D40 PDF BibTeX XML Cite \textit{V. Durand-Guerrier} et al., New ICMI Stud. Ser. 15, 349--367 (2012; Zbl 1247.97010) Full Text: DOI OpenURL