Proof technology in mathematics research and teaching

DOI10.1007/978-3-030-28483-1MaRDI QIDQ5138449zbMATH OpenOpenAlexFDO

Authors

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) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) 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)

Recommendations

• Mathematical proofs in the computer age
• scientific article; zbMATH DE number 2152637
• Exploratory experimentation: digitally-assisted discovery and proof
• Computer-assisted discovery and proof
• Machine-checked mathematics

Cited in

(12)

• Automated deduction and knowledge management in geometry
• Exploratory experimentation: digitally-assisted discovery and proof
• Computerized proof techniques for undergraduates
• Some inequalities in a triangle in which the length of one side and the inradius are given
• Automated Teaching System “Sets” (Research for Organizing the 1st Part of the Project)
• How machines can make mathematics more congressive
• Measuring the readability of geometric proofs: the area method case
• Towards a geometry deductive database prover
• Formalizing finite Ramsey theory in Lean 4
• Open geometry prover community project
• A simple proof of correctness of folding the regular heptagon
• Considerations on approaches and metrics in automated theorem generation/finding in geometry

This page was built for publication: Proof technology in mathematics research and teaching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5138449)