Théorie des types dépendants et axiome d'univalence

Collection Inter'Actions 2015 - colloque pour les doctorants en mathématiques en France

Organisateur(s)

Date(s) 26/05/2015 - 29/05/2015

URL associée https://interactions15.sciencesconf.org/

Théorie des types dépendants et axiome d'univalence

Transport optimal et mouvements de foules sous contrainte de congestion (Part 5)

53:17

publiée le 22 avril 2026

Transport optimal et mouvements de foules sous contrainte de congestion (Part 5)

De Bertrand Maury

Transport optimal et mouvements de foules sous contrainte de congestion (Part 4)

01:29:25

publiée le 22 avril 2026

Transport optimal et mouvements de foules sous contrainte de congestion (Part 4)

De Bertrand Maury

Transport optimal et mouvements de foules sous contrainte de congestion (Part 3)

51:42

publiée le 22 avril 2026

Transport optimal et mouvements de foules sous contrainte de congestion (Part 3)

De Bertrand Maury

Transport optimal et mouvements de foules sous contrainte de congestion (Part 2)

01:31:48

publiée le 22 avril 2026

Transport optimal et mouvements de foules sous contrainte de congestion (Part 2)

De Bertrand Maury

Transport optimal et mouvements de foules sous contrainte de congestion (Part 1)

43:20

publiée le 22 avril 2026

Transport optimal et mouvements de foules sous contrainte de congestion (Part 1)

De Bertrand Maury

Inégalités fonctionnelles et applications (Part 5)

01:19:03

publiée le 22 avril 2026

Inégalités fonctionnelles et applications (Part 5)

De Ivan Gentil

Inégalités fonctionnelles et applications (Part 4)

01:31:25

publiée le 22 avril 2026

Inégalités fonctionnelles et applications (Part 4)

De Ivan Gentil

Inégalités fonctionnelles et applications (Part 3)

01:33:32

publiée le 22 avril 2026

Inégalités fonctionnelles et applications (Part 3)

De Ivan Gentil

Inégalités fonctionnelles et applications (Part 2)

01:30:21

publiée le 22 avril 2026

Inégalités fonctionnelles et applications (Part 2)

De Ivan Gentil

Inégalités fonctionnelles et applications (Part 1)

56:51

publiée le 22 avril 2026

Inégalités fonctionnelles et applications (Part 1)

De Ivan Gentil

Théorie des types dépendants et axiome d'univalence

41:44

publiée le 22 avril 2026

De Guillaume Brunerie

Mathématiques
et Interactions

Summer School 2026 - ICRA 2026

CEMRACS 2026 : Modeling and AI for Environmental Transition / Centre d'Eté Mathématique de Recherche Avancée en Calcul Scientifique

Coulomb branches and affine quantum groups / Branches de Coulomb et groupes quantiques affines

Algebraic geometry and complex geometry / Géométrie algébrique et géométrie complexe

Collection Inter'Actions 2015 - colloque pour les doctorants en mathématiques en France