Proof Technology in Mathematics Research and Teaching
DOI10.1007/978-3-030-28483-1zbMath1451.97008OpenAlexW3021960304MaRDI QIDQ5138449
No author found.
Publication date: 3 December 2020
Published in: Mathematics Education in the Digital Era (Search for Journal in Brave)
Full work available at URL: https://r-libre.teluq.ca/1963/1/Proof%20Technology%20in%20Mathematics%20Research%20and%20Teaching.pdf
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematics education (97-06) Reasoning and proving in the mathematics classroom (97E50) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (4)
This page was built for publication: Proof Technology in Mathematics Research and Teaching