15:46Mechanising (Graphical) Mathematical Proofs - ComputerphileComputerphile25.9K viewsView & Download
15:58Finding The Slope Algorithm (Forward Mode Automatic Differentiation) - ComputerphileComputerphile81.9K viewsView & Download
15:56Computer Science ∩ Mathematics (Type Theory) - ComputerphileComputerphile276.7K viewsView & Download
5:20The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du SautoyTED-Ed4.0M viewsView & Download
6:34When Computers Write Proofs, What's the Point of Mathematicians?Quanta Magazine470.2K viewsView & Download
