The Role of Computer Assistance in Mathematical Proofs
An examination of how computational methods augment and transform complex mathematical proofs, from the four-color theorem to the classification of finite simple groups.
University
Imperial College London
Peer-curated academic archive from Imperial College London, comprising 2 recorded lectures in Algorithms & Theoretical CS, Mathematics, AI & Machine Learning.
0 university courses2 recorded lectures (2 standalone)2h archive runtime2 faculty & speakersRigor 92/100
Discipline:
Talks & colloquia from Imperial College London
2Self-contained research seminars, public lectures, and invited colloquia.
AI for Materials on Demand: Accelerating Discovery
Discusses how machine learning bridges quantum mechanics and classical simulations to accelerate materials discovery, addressing dataset, model, and optimization challenges.
Faculty & visiting speakers at Imperial College London
2Professors, researchers, and invited lecturers recorded at Imperial College London.
All recorded lectures from Imperial College London
2Browse, filter, and sort every lecture from Imperial College London.
Showing 2 of 2 lectures
Lecturej/k navigate · c chapters · s save · x watched
Scholar · University
Chapters · Duration
1:13:30
35:46