Interactive theorem proving, automated reasoning, and dynamical systems
Presenter
April 5, 2016
Keywords:
- Formal verification
- dynamical systems
- Interactive theorem proving
MSC:
- 37-XX
