Concepedia

Theorem Proving Communication

Theorem Proving Communication is a scholarly method that systematizes the articulation and dissemination of formal deductive arguments in mathematics by precisely specifying the logical structure, inference rules, and proof strategies to ensure rigorous, verifiable, and intelligible transmission of mathematical knowledge among agents or systems.

8

Publications

327

Citations

16

Authors

11

Institutions

Publications per year

2017–2026

1

Parents

Publications

8

Institutional and personal meanings of mathematical proof

Ángel Martínez Recio, Juan D. Godino · Educational Studies in Mathematics · 2001 · 99 citations

, , +12

Why Do Mathematicians Re-prove Theorems?

John W Dawson · Philosophia Mathematica · 2006 · 76 citations

, , +11

Folk theorem with communication

Ichiro Obara · Journal of Economic Theory · 2008 · 67 citations

, , +3

TSTP Data-Exchange Formats for Automated Theorem Proving Tools

Geoff Sutcliffe, Jürgen Zimmer, Stephan Schulz · 2004 · 58 citations

, , +16

Verbalization of high-level formal proofs

Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable · 1999 · 36 citations · Full text

, , +17

1–5 of 8

Authors

16

  1. JD
    Jörg Denzinger

    University of Calgary, Canada

    1 publications · 27 citations

    1

    h-index

  2. JW
    John W Dawson

    Duke University, United States

    1 publications · 76 citations

    1

    h-index

  3. KW
    Keith Weber

    Rutgers, The State University of New Jersey, United States

    1 publications · 21 citations

    1

    h-index

  4. DF
    D. Fuchs

    Karlsruhe Institute of Technology, Germany

    1 publications · 27 citations

    1

    h-index

  5. GS
    Geoff Sutcliffe

    University of Miami, United States

    1 publications · 58 citations

    1

    h-index

1–5 of 16

Institutions

11

  1. Eindhoven University of Technology

    Eindhoven, The Netherlands

    1 h-index

    1 publications

    24 citations

  2. Pennsylvania State University

    State College, United States

    1 h-index

    1 publications

    76 citations

  3. University of Minnesota

    Minneapolis, United States

    1 h-index

    1 publications

    67 citations

  4. Columbia University

    New York, United States

    1 h-index

    1 publications

    36 citations

  5. Radboud University Nijmegen

    Nijmegen, The Netherlands

    1 h-index

    1 publications

    24 citations

  6. State University of Semarang

    Semarang, Indonesia

    1 h-index

    3 publications

    54 citations

  7. Cornell University

    Ithaca, United States

    1 h-index

    2 publications

    72 citations

  8. University of Kaiserslautern

    Kaiserslautern, Germany

    1 h-index

    2 publications

    54 citations

1–8 of 11

Venues

  1. International Joint Conference on Artificial Intelligence

    Conference · 1 publications · 27 citations

    1

    h-index

  2. Journal of Economic Theory

    JET · 1 publications · 67 citations

    1

    h-index

  3. Philosophia Mathematica

    1 publications · 76 citations

    1

    h-index

  4. Journal of Physics Conference Series

    1 publications · 18 citations

    1

    h-index

  5. Journal of Symbolic Computation

    1 publications · 24 citations

    1

    h-index

1–5