Interactive theorem proving, automated reasoning, and mathematical computation
Presenter
December 14, 2012
Keywords:
- automated reasoning
- mathematical computation
- interactive theorem proving