Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
1 videos
Albert Schwarz : Quantum Mechanics and Quantum Field Theory from Algebraic and Geometric Viewpoints
4 videos
Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models
5 videos
Aggregation-Diffusion Equations & Collective Behavior: Analysis, Numerics and Applications / Conférence Chaire Jean Morlet: Equations d'agrégation-diffusion et comportement collectif: Analyse, schémas numériques et applications
30 videos
Cours Sorbonne Université
All the collections
All the institutions
MSC
> 03Bxx General logic > 03B35 Mechanization of proofs and logical operations
Videos linked to 03B35 Mechanization of proofs and logical operations
01:34:11
published on
April 22, 2024
Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
By Marie Kerjean
01:13:28
published on
May 11, 2017
La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique
By Gilles Dowek
01:31:43
published on
May 19, 2015
Une deuxième révolution galiléenne ?
By Gilles Dowek
01:10:24
published on
June 21, 2014
[1086] Developments in formal proofs
By Thomas C. Hales
40:32
published on
April 22, 2014
Digitizing the Group Theory of the Odd Order Theorem
By Georges Gonthier
43:18
published on
April 22, 2014
Formalizing the proof of the Kepler Conjecture
By Thomas C. Hales
More +
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
Copyright Carmin.tv 2024
By browsing our website, you accept the use of cookies to improve your experience.
Find out more about our privacy policy
.
Approve
Give feedback