Concepedia

Automated Proof Checking

Automated Proof Checking is an academic method in formal logic and computer science that systematically verifies the correctness of mathematical proofs using algorithmic inference rules, distinguished from manual proof validation by its reliance on computational formal verification systems.

132

Publications

4.9K

Citations

243

Authors

120

Institutions

Publications per year

2017–2026

26

Parents

Publications

132

Toward Mechanical Mathematics

H. Wang · IBM Journal of Research and Development · 1960 · 280 citations

, , +16

Proof-carrying authentication

Andrew W. Appel, Edward W. Felten · 1999 · 258 citations · Full text

, , +17

Seventy-five problems for testing automatic theorem provers

Francis Jeffry Pelletier · Journal of Automated Reasoning · 1986 · 194 citations

, , +13

A.: Why3: Shepherd your herd of provers

François Bobot, Jean-Christophe Filliâtre, Claude Marché et al. · 2011 · 186 citations · Full text

, , +16

MATHEMATICAL KNOWLEDGE

J. R. Cameron · Philosophical Books · 1976 · 168 citations

, , +15

1–5 of 132

Authors

243

  1. AS
    Aaron Stump

    University of Iowa, United States

    5 publications · 211 citations

    5

    h-index

  2. AN
    Adam Naumowicz

    University of Białystok, Poland

    4 publications · 189 citations

    4

    h-index

  3. KO
    Kazuhiro Ogata

    Japan Advanced Institute of Science and Technology, Japan

    3 publications · 55 citations

    3

    h-index

  4. AW
    Andrew W. Appel

    Princeton University, United States

    3 publications · 360 citations

    3

    h-index

  5. OP
    Olivier Pons

    Conservatoire National des Arts et Métiers, France

    2 publications · 52 citations

    2

    h-index

1–5 of 243

Institutions

120

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

    Le Chesnay-Rocquencourt, France

    9 h-index

    18 publications

    312 citations

  2. Radboud University Nijmegen

    Nijmegen, The Netherlands

    6 h-index

    14 publications

    558 citations

  3. Stanford University

    Stanford, United States

    5 h-index

    8 publications

    161 citations

  4. University of Białystok

    Bialystok, Poland

    4 h-index

    6 publications

    455 citations

  5. Laboratoire de Recherche en Informatique

    Gif-sur-Yvette, France

    4 h-index

    8 publications

    898 citations

  6. Technical University of Munich

    Munich, Germany

    3 h-index

    4 publications

    96 citations

  7. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    4 publications

    132 citations

  8. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    5 publications

    106 citations

1–8 of 120

Venues

  1. Journal of Automated Reasoning

    8 publications · 564 citations

    8

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 137 citations

    7

    h-index

  3. arXiv (Cornell University)

    Repository · 4 publications · 154 citations

    4

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 3 publications · 76 citations

    3

    h-index

  5. ACM SIGPLAN Notices

    3 publications · 75 citations

    3

    h-index

1–5