Concepedia

Proof Language

Proof Language is a formal system of linguistic and symbolic conventions used within mathematical discourse to rigorously express the structure, logic, and validity of deductive arguments according to established rules of inference and proof frameworks.

114

Publications

9.4K

Citations

202

Authors

114

Institutions

Publications per year

2017–2026

9

Parents

Publications

114

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

, , +16

Proof-carrying code

George C. Necula · 1997 · 1.8K citations

, , +10

Some pedagogical aspects of proof

Gila Hanna · Interchange · 1990 · 295 citations

, , +8

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Grzegorz Bancerek, Czesław Byliński, Adam Grabowski et al. · Journal of Automated Reasoning · 2017 · 203 citations · Full text

, , +17

How to Write a Proof

Leslie Lamport · American Mathematical Monthly · 1995 · 164 citations

, , +8

1–5 of 114

Authors

202

  1. DM
    Dale Miller

    University of Pennsylvania, United States

    5 publications · 229 citations

    5

    h-index

  2. LL
    Leslie Lamport

    Digital Wave (United States), United States

    3 publications · 254 citations

    3

    h-index

  3. KW
    Keith Weber

    Rutgers, The State University of New Jersey, United States

    3 publications · 148 citations

    3

    h-index

  4. MW
    Markus Wenzel

    Public Utilities Board, Singapore

    3 publications · 177 citations

    3

    h-index

  5. JP
    Juan Pablo Mejía-Ramos

    Rutgers, The State University of New Jersey, United States

    3 publications · 82 citations

    3

    h-index

1–5 of 202

Institutions

114

  1. Cornell University

    Ithaca, United States

    4 h-index

    9 publications

    493 citations

  2. Stanford University

    Stanford, United States

    4 h-index

    9 publications

    514 citations

  3. Saarland University

    Saarbrücken, Germany

    4 h-index

    11 publications

    179 citations

  4. University of Cambridge

    Cambridge, United Kingdom

    3 h-index

    13 publications

    557 citations

  5. University of Białystok

    Bialystok, Poland

    3 h-index

    8 publications

    1.3K citations

  6. New Brunswick Theological Seminary

    New Brunswick, United States

    3 h-index

    4 publications

    181 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    3 publications

    2K citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    3 h-index

    4 publications

    102 citations

1–8 of 114

Venues

  1. Journal of Automated Reasoning

    7 publications · 326 citations

    7

    h-index

  2. Educational Studies in Mathematics

    5 publications · 311 citations

    5

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 114 citations

    5

    h-index

  4. Theoretical Computer Science

    3 publications · 108 citations

    3

    h-index

  5. Journal of Philosophical Logic

    3 publications · 173 citations

    3

    h-index

1–5