Concepedia

Proof By Induction

Proof By Induction is a formal mathematical proof technique that establishes the truth of a proposition for all natural numbers by verifying a base case and demonstrating that the truth of the proposition for an arbitrary case implies its truth for the next case.

28

Publications

1.4K

Citations

40

Authors

20

Institutions

Publications per year

2017–2026

2

Parents

Publications

28

Program Proving as Hand Simulation with a Little Induction.

R. M. Burstall · IFIP Congress · 1974 · 194 citations

, , +9

Productive use of failure in inductive proof

Andrew Ireland, Alan Bundy · Journal of Automated Reasoning · 1996 · 164 citations · Full text

, , +12

Automatic proofs by induction in theories without constructors

Jean-Pierre Jouannaud, Emmanuel Kounalis · Information and Computation · 1989 · 119 citations

, , +12

Preservice teachers’ knowledge of proof by mathematical induction

Gabriel J. Stylianides, Andreas J. Stylianides, George Philippou · Journal of Mathematics Teacher Education · 2007 · 109 citations

, , +13

Automatic Proofs by Induction in Equational Theories Without Constructors

Jean-Pierre Jouannaud, Emmanuel Kounalis · Logic in Computer Science · 1986 · 104 citations

, , +12

1–5 of 28

Authors

40

  1. JJ
    Jean-Pierre Jouannaud

    Université Paris-Sud, France

    3 publications · 252 citations

    3

    h-index

  2. EK
    Emmanuel Kounalis

    Laboratoire de Recherche en Informatique, France

    3 publications · 252 citations

    3

    h-index

  3. AB
    Adel Bouhoula

    University of Carthage, Tunisia

    2 publications · 74 citations

    2

    h-index

  4. GJ
    Gabriel J. Stylianides

    University of Oxford, United Kingdom

    2 publications · 145 citations

    2

    h-index

  5. SF
    S. F. Barker

    1 publications · 12 citations

    1

    h-index

1–5 of 40

Institutions

20

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    4 publications

    106 citations

  2. University of Oxford

    Oxford, United Kingdom

    2 h-index

    3 publications

    181 citations

  3. University of Edinburgh

    Edinburgh, United Kingdom

    1 h-index

    2 publications

    328 citations

  4. Malaysia University of Science and Technology

    Petaling Jaya, Malaysia

    1 h-index

    1 publications

    22 citations

  5. Maastricht University

    Maastricht, The Netherlands

    1 h-index

    1 publications

    22 citations

  6. SRI International

    Menlo Park, United States

    1 h-index

    1 publications

    52 citations

  7. Middlesex University

    London, United Kingdom

    1 h-index

    1 publications

    13 citations

  8. Palo Alto Research Center

    Palo Alto, United States

    1 h-index

    2 publications

    142 citations

1–8 of 20

Venues

  1. Journal of Automated Reasoning

    2 publications · 192 citations

    2

    h-index

  2. Communications of the ACM

    2 publications · 100 citations

    2

    h-index

  3. The Philosophical Quarterly

    1 publications · 12 citations

    1

    h-index

  4. The Journal of Mathematical Behavior

    JMB · 1 publications · 36 citations

    1

    h-index

  5. Philosophy and Phenomenological Research

    PPR · 1 publications · 37 citations

    1

    h-index

1–5