External Source

Georges Gonthier: Computer Proofs: Teaching Computers Mathematics, And Conversely

2022 47:16
Synopsis
There has been much progress in using computers to construct and process mathematical proofs in recent years, from the old ...

You Might Also Like

Georges Gonthier: "Foothills and cathedrals: organising the libraries behind big proofs" 1:00:26
Georges Gonthier: "foothills And Cathedrals: Organising The ...
2023
Georges Gonthier: the four colour theorem 1:06:41
Georges Gonthier: The Four Colour Theorem
2013
Georges Gonthier: The Logic of Real Proofs 1:06:11
Georges Gonthier: The Logic Of Real Proofs
2018
BPR programme: participant Georges Gonthier explains "Four colour theorem" 9:38
Bpr Programme: Participant Georges Gonthier Explains "four C...
2018
Mechanizing the Odd Order Theorem: Local Analysis - Georges Gonthier 1:04:20
Mechanizing The Odd Order Theorem: Local Analysis - Georges ...
2016
Case Studies: Applying Computers to Math Education: John Perram 9:31
Case Studies: Applying Computers To Math Education: John Per...
2012
Kevin Buzzard: Mathematics and the Computer with G-Research 43:54
Kevin Buzzard: Mathematics And The Computer With G-research
2023
Dr. Georges Gonthier | Scaffolds and frames: the MathComp algebra formal library 1:11:49
Dr. Georges Gonthier | Scaffolds And Frames: The Mathcomp Al...
2025
Michael Douglas: Topics in Computers and Mathematics 1:00:20
Michael Douglas: Topics In Computers And Mathematics
2021
Mathematics and Computer Science 3:20
Mathematics And Computer Science
2014
Georges Gonthier - Functional Encodings of Mathematics 48:35
Georges Gonthier - Functional Encodings Of Mathematics
2022
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.