Concepedia

Proof Automation

Proof Automation is a methodological framework within deductive verification and proof assistant systems that enables the systematic reduction of interactive proof obligations through algorithmic reasoning techniques, thereby distinguishing itself from manual proof construction by its reliance on automated decision procedures and heuristic search strategies.

264

Publications

14K

Citations

493

Authors

201

Institutions

Publications per year

2017–2026

67

Parents

Publications

264

A machine program for theorem-proving

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

, , +16

Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

Pierre Castéran, Yves Bertot · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 1.1K citations

, , +17

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

, , +15

E - a brainiac theorem prover

Stephan Schulz · 2002 · 418 citations

, , +17

A.: Why3: Shepherd your herd of provers

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

, , +16

1–5 of 264

Authors

493

  1. GS
    Geoff Sutcliffe

    University of Miami, United States

    18 publications · 520 citations

    13

    h-index

  2. JU
    Josef Urban

    Radboud University Nijmegen, Netherlands

    14 publications · 420 citations

    11

    h-index

  3. CK
    Cezary Kaliszyk

    Universität Innsbruck, Austria

    7 publications · 332 citations

    7

    h-index

  4. LC
    Lawrence C. Paulson

    University of Cambridge, United Kingdom

    7 publications · 498 citations

    7

    h-index

  5. DD
    Derek Dreyer

    Max Planck Institute for Software Systems, Germany

    6 publications · 179 citations

    6

    h-index

1–5 of 493

Institutions

201

  1. University of Miami

    Coral Gables, United States

    13 h-index

    15 publications

    435 citations

  2. University of Cambridge

    Cambridge, United Kingdom

    11 h-index

    19 publications

    743 citations

  3. Radboud University Nijmegen

    Nijmegen, The Netherlands

    10 h-index

    15 publications

    460 citations

  4. Universität Innsbruck

    Innsbruck, Austria

    9 h-index

    11 publications

    422 citations

  5. Microsoft (United States)

    Redmond, United States

    9 h-index

    13 publications

    406 citations

  6. Czech Technical University in Prague

    Prague, Czechia

    9 h-index

    13 publications

    298 citations

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

    Le Chesnay-Rocquencourt, France

    8 h-index

    11 publications

    468 citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    8 h-index

    9 publications

    214 citations

1–8 of 201

Venues

  1. arXiv (Cornell University)

    Repository · 16 publications · 389 citations

    13

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 14 publications · 277 citations

    13

    h-index

  3. AI Communications

    AICOM · 13 publications · 292 citations

    11

    h-index

  4. International Joint Conference on Artificial Intelligence

    Conference · 8 publications · 254 citations

    8

    h-index

  5. 8

    h-index

1–5