Collection Fields medallists - 1966
Appears in collection : Fields medallists
Mathematics
and Interactions
-
Suggestions
![Drawing curves on surfaces or: how I learned to stop worrying and love train-tracks]()
52:47published on January 20, 2026Drawing curves on surfaces or: how I learned to stop worrying and love train-tracks
By Saul Schleimer
![Organising large proofs: techniques, tools, and future]()
01:07:11published on December 23, 2025Organising large proofs: techniques, tools, and future
By Georges Gonthier
![Waterproof: transforming a proof assistant into an educational tool]()
01:02:14published on December 15, 2025Waterproof: transforming a proof assistant into an educational tool
By Jim Portegies
![Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence]()
01:06:05published on December 15, 2025Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
By Cyril Cohen
