FameLifter
Top Channels
Search
Compare
Trending
Statistics
Pricing
Institut Henri Poincaré
@instituthenripoincare
1.7K
Video Count
3.3M
Video View
32.6K
Subscriber
#5,780
France Rank
#185,327
Global Rank
1.7K
Video Count
3.3M
Video View
32.6K
Subscriber
#5,780
France Rank
#185,327
Global Rank
Overview
Videos
Outliers
Statistics
Similar Channels
Timeline
Retention Analytics
About
Long
Short
All Videos
Popular (100K+ views)
Recent (30 days)
Most Recent
Oldest
Most Viewed
Most Liked
Most Commented
Title A-Z
45:13
SOUS LA SURFACE, L'HISTOIRE - L’aventure scientifique qui a permis aux machines de créer des images
207
18
8
1 month ago
46:24
Grothendieck « influenceur » en mathématiques ?
555
31
5
2 months ago
1:12:01
How can Machine Learning Help Mathematicians?
55
6
0
3 months ago
58:14
Designing Interactive Partners for Proof
12
1
0
3 months ago
1:07:11
Organising large proofs: techniques, tools, and future
17
0
0
3 months ago
58:14
Towards autoformalization of textbook mathematics with natural proof checking
12
0
0
3 months ago
58:23
Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs
15
0
0
3 months ago
1:03:57
Inari Listenmaa
7
0
0
3 months ago
1:06:05
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
19
1
0
3 months ago
1:02:14
Waterproof: transforming a proof assistant into an educational tool
10
0
0
3 months ago
1:01:18
Some remarks about machine learning and (un)natural proving
8
0
0
3 months ago
8:16:26
Colloque 'Instrumentation, Expérimentation et Simulation pour les sciences - 16 janvier 2026
243
9
0
3 months ago
8:47:58
Colloque 'Instrumentation, Expérimentation et Simulation pour les sciences - 15 janvier 2026
342
14
0
3 months ago
1:13:28
From informal to formal and back
191
10
1
3 months ago
55:27
Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives
110
6
0
3 months ago
0:35
Teaser Portrait Delaram Kahrobaei
60
2
0
4 months ago
0:35
Teaser Delaram Kahrobaei - Portrait
276
4
2
5 months ago
7:16
Delaram Kahrobaei - Portrait
198
10
0
5 months ago
15:32
Les mathématiques comme expérience artistique : Introduction colloque
166
7
0
9 months ago
32:36
Ars diagrammaticae - De la mathématique à l'esthétique et retour
142
7
0
9 months ago
24:16
Métamorphoses du point - Klee avec Châtelet
154
9
1
9 months ago
35:31
The Grothendieckian Approach:Between Unity, Expression and Form
149
6
0
9 months ago
54:56
Les mathématiques comme expérience artistique : table ronde
108
3
0
9 months ago
58:32
La physique quantique suggère-t-elle de nouvelles « interprétations » du monde ?
22.1K
412
74
10 months ago
48:45
Traces Vives - Échantillonner la créativité collective
333
10
0
10 months ago
48:37
Le voyage fantastique - Voyager dans le corps humain...
598
20
1
10 months ago
58:22
À la recherche de la matière cachée de l'Univers
9.1K
203
44
11 months ago
1:01:02
Alain Aspect - Les deux révolutions quantiques : des concepts aux applications
4.7K
110
10
11 months ago
19:01
Assessment paper on high impact climate events, tipping points and irreversible regional impacts
48
0
0
11 months ago
15:31
Noise-shaped hysteresis cycles of the AMOC under increasing CO2 forcing
21
0
0
11 months ago
13:28
Societal and ecosystem impacts of climate tipping points. First results from TipESM
31
0
0
11 months ago
25:05
The IPCC Outlines of AR7 and challenges for WGI
43
1
0
11 months ago
26:52
Uncertainties in Tipping Warning and Prediction
30
1
0
11 months ago
