Teaching Interactive Proofs to Mathematicians
Logic in Computer Science
2020-11-02 v1
Abstract
This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of interest. The approach aims to motivate the use of such tools through short courses. In particular, it is discussed how, using as case-of-study algebraic notions and properties, the use of the proof assistant Prototype Verification System PVS is promoted to interest mathematicians in the development of their mechanized proofs.
Keywords
Cite
@article{arxiv.2010.16013,
title = {Teaching Interactive Proofs to Mathematicians},
author = {Mauricio Ayala-Rincón and Thaynara Arielly de Lima},
journal= {arXiv preprint arXiv:2010.16013},
year = {2020}
}
Comments
In Proceedings ThEdu'20, arXiv:2010.15832