Mathematics
and Interactions
Home
Videos
Collections
Institutions
Speakers
fr
Login
Please
leave your feedback
in order for us to improve your experience !
5 videos
Beyond Permutahedra and Associahedra / Au-dela du Permutoèdre et de l'associaèdre
13 videos
MALINCA Kick-off meeting
4 videos
Bourbaki - Novembre 2025
80 videos
Not Only Scalar Curvature Seminar
All the collections
All the institutions
COPY LINK
What can be done in underidentified IV settings?
By
Jonas Peters
Appears in collection :
When Statistics meets Causality
Information about the video
Date of publication
16/04/2024
Institution
IHP
Licence
CC BY-NC-ND
Language
English
Format
MP4
Last related questions on MathOverflow
You have to connect your Carmin.tv account with mathoverflow to add question
Ask a question on MathOverflow
Title
Tags
Valider
Suggestions
01:07:11
published on
December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
Register
Bookmark videos
Add videos to see later &
keep your browsing history
Comment with the scientific
community
Get notification updates
for your favorite subjects
Home
Videos
Collections
Institutions
Speakers
About
Login
Fr
/
En
Help
Legal Notice
& Privacy Policy
Copyright Carmin.tv 2025
By browsing our website, you accept the use of cookies to improve your experience.
Find out more about our privacy policy
.
Approve
Give feedback