Close
Top Videos
Top Searches
Moods
Black Lives Matter
Chill
Christmas
Commute
Energy boosters
Feel-Good
Focus
Party
Pride
Romance
Sad
Sleep
Workout
Genres
African
Arabic
Blues
Bollywood & Indian
Christian & Gospel
Classical
Country and Americana
Dance and electronic
Decades
Family
Folk and acoustic
Hip-hop
Indie and alternative
J-Pop
Jazz
K-Pop
Latin
Mandopop & Cantopop
Metal
Pop
R&B and Soul
Reggae and Caribbean
Rock
Soundtracks and musicals
Patrick Henning: Multiscale approximations for the stationary Ginzburg-Landau equation
44:08
|
Download MP3
Related Videos
6:33
Hausdorff Center for Mathematics
50:49
Lenka Slavíková: Dimension-free Sobolev-type embeddings in the Gauss space
4:43
What is Hausdorff Topological Space?
2:51
Trimester-Programm des Bonner Hausdorff Research Institute for Mathematics
52:34
Yuval Filmus: Approximate polymorphisms
39:51
Martin Hairer: Stochastic Quantisation of Yang-Mills
7:40
Panorama of Mathematics - Interview with Martin Hairer
0:14
Mathematik ist in Musik - Mathematics is in Music
42:11
Interview with our YAM fellows Blen and Leolin
1:02:09
Pandelis Dodos: Random graphs and nonlinear spectral gaps
5:01
Panorama of Mathematics - Interview with Ola Svensson
2:28
Bonn International Graduate School of Mathematics
21:56
Raheleh Jalali: On the Completeness of Interpolation Algorithms
4:46
Interview with Bjorn Poonen on the occasion of Gerd Faltings' 70th birthday
52:58
Andrej Bauer & Mario Carneiro: Type universes
50:59
Andrej Bauer: Constructive Mathematics - How to not believe in the Law of Excluded Middle
34:43
Fabian Huch: Big Math Libraries in ITPs
1:04:10
Guy Kindler: A polynomial Bogolyubov-type result for the special linear group
20:19
Freek Wiedijk: System Introductions I - HOL (1)
43:15
Michael Kohlhase: ALeA - Flexiformal Education
6:33 50:49 4:43 2:51 52:34 39:51 7:40 0:14 42:11 1:02:09 5:01 2:28 21:56 4:46 52:58 50:59 34:43 1:04:10 20:19 43:15
