Concepedia

Automatic Theorem Proving

Automatic Theorem Proving is a formal method in mathematical logic that systematically employs algorithmic procedures to derive logical consequences and verify the validity of mathematical statements within a given axiomatic system without human intervention.

351

Publications

22.1K

Citations

529

Authors

217

Institutions

Publications per year

2017–2026

58

Parents

Publications

351

A machine program for theorem-proving

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

, , +16

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

, , +15

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

, , +16

Term rewriting systems

Jan Willem Klop · Data Archiving and Networked Services (DANS) · 1990 · 783 citations

, , +14

Simplify: a theorem prover for program checking

David Detlefs, Greg Nelson, James B. Saxe · Journal of the ACM · 2005 · 781 citations

, , +13

1–5 of 351

Authors

529

  1. GS
    Geoff Sutcliffe

    University of Miami, United States

    21 publications · 740 citations

    15

    h-index

  2. JU
    Josef Urban

    Radboud University Nijmegen, Netherlands

    18 publications · 774 citations

    14

    h-index

  3. LC
    Lawrence C. Paulson

    University of Cambridge, United Kingdom

    14 publications · 1.1K citations

    13

    h-index

  4. CK
    Cezary Kaliszyk

    Universität Innsbruck, Austria

    11 publications · 610 citations

    11

    h-index

  5. AB
    Alan Bundy

    University of Edinburgh, United Kingdom

    10 publications · 300 citations

    10

    h-index

1–5 of 529

Institutions

217

  1. University of Cambridge

    Cambridge, United Kingdom

    14 h-index

    19 publications

    1.5K citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    13 h-index

    23 publications

    655 citations

  3. University of Miami

    Coral Gables, United States

    13 h-index

    19 publications

    690 citations

  4. Universität Innsbruck

    Innsbruck, Austria

    11 h-index

    13 publications

    761 citations

  5. Radboud University Nijmegen

    Nijmegen, The Netherlands

    9 h-index

    11 publications

    497 citations

  6. SRI International

    Menlo Park, United States

    8 h-index

    9 publications

    348 citations

  7. The University of Texas at Austin

    Austin, United States

    8 h-index

    12 publications

    468 citations

  8. Max Planck Institute for Informatics

    Saarbrücken, Germany

    7 h-index

    8 publications

    132 citations

1–8 of 217

Venues

  1. Journal of Automated Reasoning

    22 publications · 1.6K citations

    18

    h-index

  2. arXiv (Cornell University)

    Repository · 20 publications · 566 citations

    16

    h-index

  3. Journal of the ACM

    JACM · 13 publications · 4.2K citations

    13

    h-index

  4. AI Communications

    AICOM · 16 publications · 745 citations

    13

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 14 publications · 254 citations

    12

    h-index

1–5