Concepedia

Mechanized Proofs

Mechanized Proofs is a formal method in proof writing that employs computational systems to verify or generate mathematical proofs with rigorous correctness guarantees through algorithmic logical inference.

155

Publications

7K

Citations

333

Authors

162

Institutions

Publications per year

2017–2026

30

Parents

Publications

155

Foundational proof-carrying code

Andrew W. Appel · 2002 · 308 citations

, , +16

Toward Mechanical Mathematics

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

, , +16

A prolog technology theorem prover: Implementation by an extended prolog compiler

Mark E. Stickel · Journal of Automated Reasoning · 1988 · 250 citations

, , +13

Proof systems for general statements about discrete logarithms

Jan Camenisch, Markus Stadler · Repository for Publications and Research Data (ETH Zurich) · 1997 · 228 citations · Full text

, , +16

A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · 2015 · 216 citations · Full text

, , +17

1–5 of 155

Authors

333

  1. LC
    Lawrence C. Paulson

    University of Cambridge, United Kingdom

    6 publications · 390 citations

    6

    h-index

  2. AW
    Andrew W. Appel

    Princeton University, United States

    4 publications · 411 citations

    5

    h-index

  3. PS
    Pierre-Yves Strub

    Institut national de recherche en sciences et technologies du numérique, France

    4 publications · 292 citations

    4

    h-index

  4. SB
    Sylvie Boldo

    Centre National de la Recherche Scientifique, France

    3 publications · 189 citations

    3

    h-index

  5. BB
    Bruno Blanchet

    Institut national de recherche en sciences et technologies du numérique, France

    3 publications · 112 citations

    3

    h-index

1–5 of 333

Institutions

162

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

    Le Chesnay-Rocquencourt, France

    11 h-index

    20 publications

    1.7K citations

  2. University of Cambridge

    Cambridge, United Kingdom

    8 h-index

    8 publications

    427 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    7 h-index

    11 publications

    565 citations

  4. Princeton University

    Princeton, United States

    7 h-index

    12 publications

    887 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    11 publications

    528 citations

  6. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    6 h-index

    12 publications

    1.1K citations

  7. Université de Lorraine

    Nancy, France

    4 h-index

    5 publications

    106 citations

  8. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    4 h-index

    6 publications

    111 citations

1–8 of 162

Venues

  1. Journal of Automated Reasoning

    10 publications · 561 citations

    10

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 6 publications · 110 citations

    6

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 5 publications · 219 citations

    5

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 108 citations

    4

    h-index

  5. arXiv (Cornell University)

    Repository · 4 publications · 105 citations

    4

    h-index

1–5