Concepedia

Inductive Proof Techniques

Inductive Proof Techniques is a systematic method within mathematical reasoning that establishes the truth of a proposition for all natural numbers by verifying a base case and proving the validity of an inductive step that links successive cases.

159

Publications

12.4K

Citations

235

Authors

140

Institutions

Publications per year

2017–2026

8

Parents

Publications

159

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

The Logic of Inductive Inference

Rebecca Fisher · Journal Of The Royal Statistical Society · 1935 · 1.3K citations

, , +8

124: The Logic of Inductive Inference.

Adelaide Research & Scholarship (AR&S) (University of Adelaide) · 2006 · 876 citations

, , +8

Toward a mathematical theory of inductive inference

Lenore Blum, Manuel Blum · Information and Control · 1975 · 679 citations

, , +9

Proof Techniques in Graph Theory

N. J. A. Sloane, Frank Harary · Mathematics of Computation · 1970 · 385 citations

, , +14

1–5 of 159

Authors

235

  1. AB
    Alan Bundy

    University of Edinburgh, United Kingdom

    9 publications · 3.5K citations

    9

    h-index

  2. EK
    Emmanuel Kounalis

    Laboratoire de Recherche en Informatique, France

    4 publications · 264 citations

    4

    h-index

  3. SM
    Stephen Muggleton

    Imperial College London, United Kingdom

    3 publications · 143 citations

    3

    h-index

  4. DK
    Deepak Kapur

    University of New Mexico, United States

    3 publications · 74 citations

    3

    h-index

  5. AI
    Andrew Ireland

    Heriot-Watt University, United Kingdom

    3 publications · 414 citations

    3

    h-index

1–5 of 235

Institutions

140

  1. University of Edinburgh

    Edinburgh, United Kingdom

    8 h-index

    20 publications

    10.6K citations

  2. Stanford University

    Stanford, United States

    5 h-index

    11 publications

    575 citations

  3. University of Oxford

    Oxford, United Kingdom

    5 h-index

    6 publications

    256 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    4 publications

    90 citations

  5. University of California, Berkeley

    Berkeley, United States

    3 h-index

    6 publications

    1.4K citations

  6. University of Nottingham

    Nottingham, United Kingdom

    3 h-index

    3 publications

    73 citations

  7. Chalmers University of Technology

    Gothenburg, Sweden

    3 h-index

    4 publications

    71 citations

  8. University of Chicago

    Chicago, United States

    3 h-index

    3 publications

    66 citations

1–8 of 140

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 2.9K citations

    7

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 4 publications · 233 citations

    4

    h-index

  3. Journal of Automated Reasoning

    4 publications · 388 citations

    4

    h-index

  4. American Mathematical Monthly

    3 publications · 54 citations

    3

    h-index

  5. Communications of the ACM

    3 publications · 239 citations

    3

    h-index

1–5