Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title Downloads

Recognition and Computation of Mathematical Proofs by Induction

Connor Flood
Organization: Wolfram|Alpha

Wolfram Technology Conference 2015
Conference location

Champaign, Illinois USA

One year ago I began using Wolfram|Alpha’s API in order to support a side project I began working on. This fun project was later demonstrated to various teams at Wolfram, and resulted in an offer for my current internship at Wolfram. This was also a large attribution towards receiving acceptance into my dream graduate program. More recently, I was able to implement this project in Mathematica as a Wolfram|Alpha employee, and will soon be able to see it live in production.

Downloads Download Wolfram CDF Player

1445435716.nb (7 MB) - Mathematica Notebook