Mathématiques
et Interactions
-
Les vidéos associées à 68N15 Programming languagesVoir +
![Ensuring correctness of probabilistic inference by static analysis]()
01:26:21publiée le 26 mai 2026Ensuring correctness of probabilistic inference by static analysis
De Xavier Rival
![Calcul tensoriel formel sur les variétés différentielles - Partie 2]()
01:24:58publiée le 1 février 2018Calcul tensoriel formel sur les variétés différentielles - Partie 2
De Éric Gourgoulhon
![Calcul tensoriel formel sur les variétés différentielles - Partie 1]()
01:40:16publiée le 1 février 2018Calcul tensoriel formel sur les variétés différentielles - Partie 1
De Éric Gourgoulhon
![Overview of architectures and programming language for parallel computing]()
55:32publiée le 29 juillet 2016Overview of architectures and programming language for parallel computing
De Jean-françois Méhaut
