Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Kenji Nakanishi : Classification of Initial Data for Gobal Dynamics of Nonlinear Dispersive Equations
4 videos

Kenji Nakanishi : Classification of Initial Data for Gobal Dynamics of Nonlinear Dispersive Equations

French Spring School in Theoretical Computer Science / École de Printemps d'Informatique Théorique
5 videos

French Spring School in Theoretical Computer Science / École de Printemps d'Informatique Théorique

Not Only Scalar Curvature Seminar
85 videos

Not Only Scalar Curvature Seminar

Algorithmics and programming / Algorithmique et programmation
5 videos

Algorithmics and programming / Algorithmique et programmation

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
verification of quantum computations

Keywords > verification of quantum computations

Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback