I am a PhD student in computational logic at the Vienna University of Technology. I am interested in automated reasoning and computational proof theory. I am currently writing my doctoral thesis under the supervision of Stefan Hetzl. In this thesis I explore the limits of various mechanisms for the automation of mathematical induction.