Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Dec 20, 2016
This film discusses the techniques, and outlines the vision of the future computerization of pure mathematics through interviews and talk segments from renowned mathematicians, meta-mathematicians, computational mathematicians, and theorem provers.
The interviews and talks were conducted at the Sloan Foundation sponsored "Semantic Representation of Mathematical Knowledge Workshop", held at the Fields Institute (Toronto) in February 2016.
Scripted, produced, and edited by Amy Young and Michael Trott.