HOME    »    SCIENTIFIC RESOURCES    »    Videos
IMA Video Library
       [IMA Video-Mobile]
Public Lecture: Computers and the Future of Mathematical Proof
  March 30, 2005
Thomas Hales (University of Pittsburgh)


Note: The videos available on this page are copyrighted material. It is intended for personal use or for educational purpose. Renting or resale of this product or any part of its contents is prohibited. Reproduction of any material contained in these videos onto any other media, or reuse in any other form for any purpose, without the expressed written consent of both the IMA and the lecturer, is strictly prohibited.

Connect With Us:
Go