Michael Kohlhase: Flexiformal Math Libraries

Flexiformal Math Libraries: Collecting/Organizing more than Def/Thm/Proof

Hausdorff Center for Mathematics•308 views•50:31

🔥 Related Trending Topics

LIVE TRENDS

This video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!

THIS VIDEO IS TRENDING!

This video is currently trending in India under the topic 'michael jackson biopic'.

Trending Now Globally
michael jackson biopic
200+
michaela badinková
500+
new zealand national cricket team vs west indies cricket team match scorecard
50K+
new zealand national cricket team vs west indies cricket team match scorecard
50K+
cruz azul - pumas
50K+
chelsea vs wolves
50K+

About this video

Flexiformal Math Libraries: Collecting/Organizing more than Def/Thm/Proof

Video Information

Views
308

Total views since publication

Likes
9

User likes and reactions

Duration
50:31

Video length

Published
Aug 7, 2024

Release date

Quality
hd

Video definition

About the Channel

Hausdorff Center for Mathematics

View channel →

Tags and Topics

This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:

#HIM #Hausdorff Research Institute for Mathematics #Hausdorff Center for Mathematics #Mathematics

Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.