Concepedia

Proof Generation

Proof Generation is a scholarly contribution in the field of algebraic proof that comprises the systematic creation of valid deductive arguments through the application of algebraic rules and logical reasoning to establish the truth of mathematical statements.

238

Publications

15.6K

Citations

478

Authors

230

Institutions

Publications per year

2017–2026

45

Parents

Publications

238

A machine program for theorem-proving

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

, , +16

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

, , +16

Bulletproofs: Short Proofs for Confidential Transactions and More

Benedikt Bünz, Jonathan Bootle, Dan Boneh et al. · 2018 · 1.1K citations · Full text

, , +16

Proof, Explanation and Exploration: An Overview

Gila Hanna · Educational Studies in Mathematics · 2000 · 423 citations

, , +8

Rewrite-based Equational Theorem Proving with Selection and Simplification

Leo Bachmair, Harald Ganzinger · Journal of Logic and Computation · 1994 · 404 citations · Full text

, , +10

1–5 of 238

Authors

478

  1. GS
    Geoff Sutcliffe

    University of Miami, United States

    8 publications · 158 citations

    8

    h-index

  2. PF
    Pascal Fontaine

    Université de Lorraine, France

    3 publications · 47 citations

    3

    h-index

  3. MF
    Mathias Fleury

    Max Planck Institute for Informatics, Germany

    3 publications · 65 citations

    3

    h-index

  4. AB
    Alan Bundy

    University of Edinburgh, United Kingdom

    3 publications · 2.9K citations

    3

    h-index

  5. JU
    Josef Urban

    Radboud University Nijmegen, Netherlands

    3 publications · 169 citations

    3

    h-index

1–5 of 478

Institutions

230

  1. University of Edinburgh

    Edinburgh, United Kingdom

    7 h-index

    11 publications

    8.6K citations

  2. Saarland University

    Saarbrücken, Germany

    7 h-index

    9 publications

    157 citations

  3. University of Miami

    Coral Gables, United States

    7 h-index

    8 publications

    182 citations

  4. University of Cambridge

    Cambridge, United Kingdom

    6 h-index

    6 publications

    244 citations

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

    Le Chesnay-Rocquencourt, France

    6 h-index

    9 publications

    772 citations

  6. Laboratoire Lorrain de Recherche en Informatique et ses Applications

    Nancy, France

    5 h-index

    7 publications

    142 citations

  7. University of Oxford

    Oxford, United Kingdom

    5 h-index

    9 publications

    306 citations

  8. Stanford University

    Stanford, United States

    5 h-index

    9 publications

    3.3K citations

1–8 of 230

Venues

  1. Journal of Automated Reasoning

    15 publications · 670 citations

    14

    h-index

  2. Journal of the ACM

    JACM · 6 publications · 431 citations

    6

    h-index

  3. arXiv (Cornell University)

    Repository · 6 publications · 235 citations

    6

    h-index

  4. Educational Studies in Mathematics

    6 publications · 355 citations

    6

    h-index

  5. AI Communications

    AICOM · 5 publications · 99 citations

    5

    h-index

1–5