Audience > Researchers

postdocs and senior researchers

Videos linked to Researchers

01:03:33

published on June 20, 2022

Formalisation mathématique et types dépendants : Le point vue d'un utilisateur mathématicien

By Patrick Massot

01:01:35

published on June 20, 2022

How to Do Maths Without Dependent Types

By Anthony Bordg

48:34

published on June 20, 2022

Functional Encodings of Mathematics

By Georges Gonthier

01:02:17

published on June 20, 2022

Le principe d'univalence: le transfer du raisonnement à traver les equivalence

By Benedikt Ahrens

54:32

published on June 20, 2022

Hierarchy Builder

By Cyril Cohen

01:02:26

published on June 20, 2022

Some recent advances in syntomic cohomology (3/3)

By Akhil Mathew

01:03:16

published on June 20, 2022

Sen theory for locally analytic representations

By Lue Pan

59:34

published on June 20, 2022

Parallel transport for Higgs bundles over p-adic curves

By Daxin Xu

More +

Copyright Carmin.tv 2022

Give feedback