Videos

Interactive theorem proving, automated reasoning, and mathematical computation

Presenter
December 14, 2012
Keywords:
  • automated reasoning
  • mathematical computation
  • interactive theorem proving
Abstract
Abstract available at the link below.
Supplementary Materials