Institut Henri Poincaré

32.7K subscribers

1.6K videos

L'Institut Henri Poincaré (IHP), créé en 1928, est l'une des plus anciennes et des plus dynamiques structures internationales dédiées aux mathématiques et à ...

Latest Videos

Hommage à Michèle Audin IV - MA écrivaine, par Valérie Beaudouin

Hommage à Michèle Audin III - Michèle Audin historienne, par Laurent Mazliak

Hommage à Michèle Audin II - Michèle Audin, la rigueur dans la diffusion des maths, par Étienne Ghys

Hommage à Michèle Audin I - Lecture par Claude Sabbah d’un texte de Michèle Audin

Hommage à Michèle Audin V - Table ronde

SOUS LA SURFACE, L'HISTOIRE - L’aventure scientifique qui a permis aux machines de créer des images

Grothendieck « influenceur » en mathématiques

How can Machine Learning Help Mathematicians

Designing Interactive Partners for Proof

Organising large proofs techniques, tools, and future

Towards autoformalization of textbook mathematics with natural proof checking

Proof Assistant Assistants From teaching Rocq to LLM-assisted proofs

Inari Listenmaa

Trocq Proof Transfer for Free, Beyond Equivalence and Univalence

Waterproof transforming a proof assistant into an educational tool

Some remarks about machine learning and (un)natural proving

From informal to formal and back

Language and Mathematics in the Time of AI. Philosophical and Theoretical Perspectives

Teaser Portrait Delaram Kahrobaei

Delaram Kahrobaei - Portrait

Les mathématiques comme expérience artistique Introduction

Ars diagrammaticae - De la mathématique à l'esthétique et retour

Métamorphoses du point - Klee avec Châtelet

The Grothendieckian ApproachBetween Unity, Expression and Form

Les mathématiques comme expérience artistique table ronde

Does quantum physics suggest new “interpretations” of the world

Living Traces - Sampling collective creativity

Fantastic Voyage - Traveling in the human body...

À la recherche de la matière cachée de l'Univers

Alain Aspect - Les deux révolutions quantiques des concepts aux applications