Dagur Asgeirsson Explores Condensed Mathematics in Mathlib 📚
Discover how Dagur Asgeirsson advances the field of condensed mathematics within Mathlib, unlocking new possibilities in modern mathematical research.
Hausdorff Center for Mathematics
129 views • Jun 27, 2024
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
129
Likes
10
Duration
58:57
Published
Jun 27, 2024
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now