Pierre Rousselin
Publications
Publications
|
|
Conductance of a subdiffusive random weighted treeALEA : Latin American Journal of Probability and Mathematical Statistics, 2023, 20 (1), pp.885. ⟨10.30757/ALEA.v20-32⟩ |
|
|
Utilisation des assistants de preuves pour l’enseignement en L1La Gazette de la Société mathématique de France, 2022, 174 |
|
|
Branching Random Walks Conditioned on Particle NumbersJournal of Statistical Physics, 2021, 185 (3), pp.20. ⟨10.1007/s10955-021-02833-y⟩ |
|
|
Invariant measures, Hausdorff dimension and dimension drop of some harmonic measures on Galton-Watson treesElectronic Journal of Probability, 2018, 23 (none), ⟨10.1214/18-EJP170⟩ |
|
|
Teaching Divisibility and Binomials with Coq13th International Workshop on Theorem proving components for Educational software - ThEdu 2024, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2024, Nancy, France. pp.124 - 139, ⟨10.4204/EPTCS.419.8⟩ |
|
|
Utilisation de Coq pour l'enseignement des mathématiques en L1 et en seconde35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France |
|
|
Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for CoqThe 15th Coq Workshop 2024, Clément Pit-Gaudel; Théo Winterhalter, Sep 2024, Tbilisi / Hybrid, Georgia |
|
|
Maths with Coq in L1, a pedagogical experimentThEdu 2024 - 13th International Workshop on Theorem proving components for Educational software, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2024, Nancy, France |
|
|
Mathematics with Coq for first-year undergraduate studentsThe Coq Workshop 2023, Yves Bertot; Enrico Tassi, Jul 2023, Białystok, Poland |
|
|
Dimension Drop for Transient Random Walks on Galton-Watson Trees in Random Environments2023 |
|
|
Teaching Divisibility and Binomials with CoqRR-9547, Inria. 2024, pp.13 |
|
|
Random walks on random treesProbability [math.PR]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCD023⟩ |