|
|
|
|
|
|
 |
 |
|
Recognition and Computation of Mathematical Proofs by Induction
|
|
|
|
|
|
| Organization: | Wolfram|Alpha |
|
|
|
|
|
|
Wolfram Technology Conference 2015
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
 |
|
|
| 1445435716.nb (7 MB) - Mathematica Notebook |
|
|
|
|
|
|
|
| | | | | |
|
For the newest resources, visit Wolfram Repositories and Archives »
