• Behind Wolfram Alpha’s Mathematical Induction-Based Proof Generator http://blog.wolfram.com/2016/07/14/behind-wolframalphas-mathematical-induction-based-proof-generator/ 6 comments 15/7/2016
• Loop Invariants Abbreviate Induction Proofs http://www.drdobbs.com/cpp/loop-invariants-abbreviate-induction-pro/240169015 3 comments 14/9/2014

• Behind Wolfram|Alpha’s Mathematical Induction-Based Proof Generator http://blog.wolfram.com/2016/07/14/behind-wolframalphas-mathematical-induction-based-proof-generator/ 16 comments 15/7/2016 math
• Proof by induction https://www.reddit.com/r/math/comments/9v94ji/proof_by_induction/ 8 comments 8/11/2018 math
• Geometric intepretation of Induction proofs. https://www.reddit.com/r/math/comments/7v2cjk/geometric_intepretation_of_induction_proofs/ 5 comments 3/2/2018 math
• Why are induction proofs so challenging for students? http://matheducators.stackexchange.com/q/10021 46 comments 13/1/2016 math
• Proof by Induction with Fun Examples http://www.science4all.org/le-nguyen-hoang/proof-by-induction/ 5 comments 12/9/2013 math
• Semi-Newbie Question ~ Are College Linear Algebra Proofs More Based On Inductive or Deductive Proofs. https://www.reddit.com/r/math/comments/4yn3nv/seminewbie_question_are_college_linear_algebra/ 8 comments 20/8/2016 math
• Loop Invariants Abbreviate Induction Proofs http://www.drdobbs.com/cpp/loop-invariants-abbreviate-induction-pro/240169015 8 comments 14/9/2014 programming
• A Challenging Number Theory Proof; May or May Not Rely on Induction? http://jasoncockrell.wordpress.com/2009/08/09/a-challenging-number-theory-proof-may-or-may-not-rely-on-induction/ 4 comments 10/1/2010 math
• Little-known technique called "Back and Forth" Induction (used by Cauchy) Plus the clearest proof I've ever seen of AM-GM https://brilliant.org/wiki/forward-backwards-induction/ 53 comments 23/9/2019 math