Mathématiques
et Interactions
-
Les vidéos associées à Guillaume HennenfentVoir +
![Coq/Rocq tutorial: Ssreflect tactics and the MathComp library]()
01:34:11publiée le 22 avril 2024Coq/Rocq tutorial: Ssreflect tactics and the MathComp library
De Marie Kerjean
![Parabolic maximal regularity applied to diffusion networks with time-dependent transmission conditions]()
35:11publiée le 8 avril 2024Parabolic maximal regularity applied to diffusion networks with time-dependent transmission conditions
De Wolfgang Arendt
![SageMath: research and experimentation in Combinatorics - Lecture 1]()
01:18:01publiée le 8 avril 2024SageMath: research and experimentation in Combinatorics - Lecture 1
De Viviane Pons
![Compacted binary trees, stretched exponential and asymptotic behavior of recurrences]()
01:08:15publiée le 29 mars 2024Compacted binary trees, stretched exponential and asymptotic behavior of recurrences
De Wenjie Fang
![Algebraic attacks for the rank decoding problem - Lecture 2]()
01:23:14publiée le 25 mars 2024Algebraic attacks for the rank decoding problem - Lecture 2
De Magali Bardet
