Computer-Assisted Proofs and Math. Understanding: the case of Univalent Foundations - Andrei Rodin
26:05
Computer-Assisted Proofs and Math. Understanding: the case of …
183 viewsJul 7, 2020
YouTubeHoTT-UF 2020
Computer-assisted proof
7:11
Computer-assisted proof
140 viewsJan 22, 2016
YouTubeWikiAudio
Why Are Computer-assisted Proofs Controversial In Geometry? - All About Geometry
2:36
Why Are Computer-assisted Proofs Controversial In Geometry? - All A…
4 views5 months ago
YouTubeAll About Geometry
Computer assisted proofs... 2/3. Introduction and the method of radii polynomials (Jay Mireles)
1:15:42
Computer assisted proofs... 2/3. Introduction and the method of ra…
184 viewsAug 12, 2018
YouTubeCiencias TV
Machine Assisted Proofs | Terence Tao
59:25
Find in video from 06:02Early Computer Applications
Machine Assisted Proofs | Terence Tao
1.7K viewsMar 19, 2024
YouTubePietro Monticone
Computer assisted proofs of Arnold Diffusion
1:15:13
Computer assisted proofs of Arnold Diffusion
303 viewsSep 4, 2020
YouTubeCentre de recherches mathématiques - CRM
CRM Colloquium by Terence Tao: "Machine Assisted Proofs"
59:53
CRM Colloquium by Terence Tao: "Machine Assisted Proofs"
6.2K viewsOct 8, 2024
YouTubeCentre de Recerca Matemàtica
1:00:59
Tristan Buckmaster: Fluid Singularities, Unstable PDE Soluti…
7 views2 months ago
YouTubeSimons Foundation
19:24
Computer-assisted proofs of two-dimensional attracting invariant to…
113 viewsDec 9, 2020
YouTubeCentre de recherches mathématiques - CRM
58:23
Proof Assistant Assistants: From teaching Rocq to LLM-assisted pr…
138 views1 month ago
YouTubeInstitut Henri Poincaré
1:03:19
Dr. Gilles Barthe | Computer-aided security proofs
3 months ago
YouTubeINI Seminar Room 1
3:03
How Do Proof Assistants Help in Theorem Proving?
2 views3 months ago
YouTubeLearn To Troubleshoot
3:25
How Do Proof Assistants Support Theorem Proving?
10 views2 months ago
YouTubeLearn To Troubleshoot
56:42
Formalizing a proof in Lean by hand
35.2K views9 months ago
YouTubeTerence Tao
59:12
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
109.8K viewsFeb 20, 2025
YouTubeSimons Foundation
2:02:48
Computational Social Choice Lecture 4 (Arrow's Impossibility)
1.5K viewsOct 18, 2023
YouTubeFelix Brandt
1:14:44
CAV 2024 Keynote: Lean 4: Bridging Formal Mathematics and Softwar…
1.2K viewsJan 16, 2025
YouTubeConference on Computer-Aided Verification
13:36
What is...computer aided mathematics?
416 viewsAug 24, 2024
YouTubeVisualMath
14:23
Find in video from 11:05A List of Computer Verified Theorems
What are...computer proofs?
1.2K viewsJul 15, 2023
YouTubeVisualMath
50:25
Provable non-accelerations of the heavy-ball method by Aymeric Die…
169 views11 months ago
YouTubeShuvomoy Das Gupta
5:16
The Four Color Theorem: A Map Mystery Solved by Math and Mach…
4.9K views11 months ago
YouTubeChan Lye Lee
2:42
Computer Forensics - Digital Evidence
50 views6 months ago
YouTubeDustin Ormond
45:10
idk | Lean Stream |February 8 2026
215 views1 month ago
YouTubeK-Theory
41:24
Progress! | Lean Stream | January 25 2026
285 views1 month ago
YouTubeK-Theory
9:30
1.1.2 Intro to Proofs: Part 1
159.7K viewsSep 12, 2016
YouTubeMIT OpenCourseWare
11:43
How to Notarize Important Documents on Proof
683 viewsNov 20, 2024
YouTubeSia B.
0:40
The Four Color Breakthrough You Never Knew About
74 views1 month ago
YouTubeBrain Teasers and Logic Puzzles
1:09:31
A computer assisted proof of Wright's conjecture: counting and …
148 viewsMay 26, 2021
YouTubeCentre de recherches mathématiques - CRM
A Computer-Assisted Proof Solves the ‘Packing Coloring’ Problem
Jul 2, 2023
wired.com
Computer-Assisted Proofs Take on Fluid Flow
Aug 1, 2023
acm.org
See more videos
Static thumbnail place holder