Proof Technology in Mathematics Research and Teaching

DOI10.1007/978-3-030-28483-1zbMATH Open1451.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

Mathematics Subject Classification ID

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 (7)

Some inequalities in a triangle in which the length of one side and the inradius are given ⋮ Measuring the readability of geometric proofs: the area method case ⋮ Automated deduction and knowledge management in geometry ⋮ Towards a geometry deductive database prover ⋮ Formalizing finite Ramsey theory in Lean 4 ⋮ Open geometry prover community project ⋮ Automated Teaching System “Sets” (Research for Organizing the 1st Part of the Project)

This page was built for publication: Proof Technology in Mathematics Research and Teaching