Teaching Interactive Proofs to Mathematicians

被引：1
|
作者：
Ayala-Rincon, Mauricio [1 ]
de Lima, Thaynara Arielly [2 ]
机构：
[1] Univ Brasilia, Brasilia, Brazil
[2] Univ Fed Goias, Goiania, Brazil
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2020年 / 328期
关键词：
D O I：
10.4204/EPTCS.328.1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：1 / 17
页数：17
相关论文
共 50 条
  • [1] Teaching syllogistics through gamification and interactive proofs
    Department of Communication and Psychology, Aalborg University, Aalborg
    9000, Denmark
    不详
    9037, Norway
    [J]. Lect. Notes Comput. Sci., (609-612):
  • [2] Mathematicians' Assessments of the Explanatory Value of Proofs
    Mejia Ramos, Juan Pablo
    Evans, Tanya
    Rittberg, Colin
    Inglis, Matthew
    [J]. AXIOMATHES, 2021, 31 (05): : 575 - 599
  • [3] Mathematicians’ Assessments of the Explanatory Value of Proofs
    Juan Pablo Mejía Ramos
    Tanya Evans
    Colin Rittberg
    Matthew Inglis
    [J]. Axiomathes, 2021, 31 : 575 - 599
  • [4] How mathematicians assign points to student proofs
    Miller, David
    Infante, Nicole
    Weber, Keith
    [J]. JOURNAL OF MATHEMATICAL BEHAVIOR, 2018, 49 : 24 - 34
  • [5] Acceptance criteria for validating mathematical proofs used by school students, university students, and mathematicians in the context of teaching
    Daniel Sommerhoff
    Stefan Ufer
    [J]. ZDM, 2019, 51 : 717 - 730
  • [6] Interactive Coding for Interactive Proofs
    Bishop, Allison
    Dodis, Yevgeniy
    [J]. THEORY OF CRYPTOGRAPHY, TCC 2016-A, PT II, 2016, 9563 : 352 - 366
  • [7] Acceptance criteria for validating mathematical proofs used by school students, university students, and mathematicians in the context of teaching
    Sommerhoff, Daniel
    Ufer, Stefan
    [J]. ZDM-MATHEMATICS EDUCATION, 2019, 51 (05): : 717 - 730
  • [8] MATHEMATICIANS AND TEACHING STATISTICS
    DARMOIS, G
    MORICE, E
    [J]. BULLETIN OF THE INTERNATIONAL STATISTICAL INSTITUTE, 1957, 35 (03): : 81 - 91
  • [9] On Mathematicians' Different Standards When Evaluating Elementary Proofs
    Inglis, Matthew
    Mejia-Ramos, Juan Pablo
    Weber, Keith
    Alcock, Lara
    [J]. TOPICS IN COGNITIVE SCIENCE, 2013, 5 (02) : 270 - 282
  • [10] Mathematicians chase the seven million-dollar proofs
    David Dickson
    [J]. Nature, 2000, 405 : 383 - 383
12345