Productive use of failure in inductive proof
Journal of Automated Reasoning1996Vol. 16(1-2), pp. 79–111
Citations Over TimeTop 1% of 1996 papers
Related Papers
- → Explaining the Success of Induction(2021)31 cited
- → Getting Saturated with Induction(2022)4 cited
- An approach to mathematical induction — starting from the early stages of teaching mathematics ⁄(1998)
- → The use of proof plans to sum series(1992)31 cited
- An Comparison Between the Inductive Idea of Jin Yuelin's and Russell's(2002)