Error Analysis in Inductive Proofs is a methodological framework within mathematical reasoning that systematically identifies, classifies, and evaluates logical and structural errors that arise in the base case, inductive step, or inheritance logic of proofs employing the principle of mathematical induction.
4
Publications
212
Citations
6
Authors
2
Institutions
Publications per year
2017–2026
1
Parents
Publications
4
Productive use of failure in inductive proof
Andrew Ireland, Alan Bundy · Journal of Automated Reasoning · 1996 · 164 citations · Full text
Andrew Ireland, Michael Jackson, Gordon Reid · Formal Aspects of Computing · 1999 · 21 citations
The Error in Polynomial Tensor-Product, and Chung-Yao, Interpolation
Carl de Boor · 2009 · 13 citations
1–5 of 4
Authors
6
- AB
2
h-index
- AI
1
h-index
- GS
1
h-index
- SH
1
h-index
- AW
1
h-index
1–5 of 6
Institutions
2
University of Edinburgh
Edinburgh, United Kingdom
2 h-index
4 publications
362 citations
Universitas Negeri Surabaya
Surabaya, Indonesia
1 h-index
2 publications
36 citations
Edinburgh Napier University
Edinburgh, United Kingdom
1 publications
21 citations
Heriot-Watt University
Edinburgh, United Kingdom
1 publications
21 citations
1–4 of 2
Venues
- Journal of Automated Reasoning
2 publications · 181 citations
2
h-index
- Journal on Mathematics Education
JME · 1 publications · 18 citations
1
h-index
- Formal Aspects of Computing
1 publications · 21 citations
1–3