Carmin.tv

Mathématiques
et Interactions

Merci de nous donner votre avis pour que nous puissions améliorer votre expérience !
Open science put to the test of rights and duties: mathematicians and librarians, let's educate ours / Science ouverte a l'épreuve des droits et devoirs : mathématiciens-nes et bibliothécaires, (in)formons-nous
7 videos

Open science put to the test of rights and duties: mathematicians and librarians, let's educate ours / Science ouverte a l'épreuve des droits et devoirs : mathématiciens-nes et bibliothécaires, (in)formons-nous

Combinatorics, Automata, and Number Theory (CANT) school-conference / Ecole-conférence de Combinatoire, d'Automates et de Théorie des Nombres (CANT)
5 videos

Combinatorics, Automata, and Number Theory (CANT) school-conference / Ecole-conférence de Combinatoire, d'Automates et de Théorie des Nombres (CANT)

Interacting particle systems and related fields / Systèmes de particules en interaction et domaines connexes
5 videos

Interacting particle systems and related fields / Systèmes de particules en interaction et domaines connexes

Arithmetic and Diophantine Geometry, via Ergodic Theory and o-minimality
20 videos

Arithmetic and Diophantine Geometry, via Ergodic Theory and o-minimality

Toutes les collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
Tous les instituts
03B35 Mechanization of proofs and logical operations

MSC > 03Bxx General logic > 03B35 Mechanization of proofs and logical operations

Copyright Carmin.tv 2025
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour améliorer votre expérience. En savoir plus sur notre politique de confidentialité.
Accepter
Donner son avis