How Can I Get Introduced to Automated Reasoning for Economics and Statistics?

I can suggest four resources to get introduced, in order of utility:

1. A new paper on automated econometric reasoning. No economic theory here but being newest it is my most user-friendly paper. Also the analogy with economic theory should be pretty clear.

2. The youtube channel containing two 45-60 minutes seminars I gave, one at Chicago Economics and the second to a Microsoft Research audience that was more computer science than economics.

3. Browse dozens of examples in pdf format.  Even better, execute them yourself using Mathematica.

4. My original paper on automated economic reasoning, whose primary value given (1) is that it contains the economic theory examples.

Click for teaser video

Click for teaser video