Wolfram Library Archive


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

Recognition and Computation of Mathematical Proofs by Induction
Author

Connor Flood
Organization: Wolfram|Alpha
Conference

Wolfram Technology Conference 2015
Conference location

Champaign, Illinois USA
Description

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.
Subject

*Education
Downloads Download Wolfram CDF Player

Download
1445435716.nb (7 MB) - Mathematica Notebook