Pierre Rousselin

Publications

Article dans une revue (4)

Conductance of a subdiffusive random weighted tree Pierre Rousselin ALEA : Latin American Journal of Probability and Mathematical Statistics, 2023, 20 (1), pp.885. ⟨10.30757/ALEA.v20-32⟩ Article dans une revue hal-04825036v1
Utilisation des assistants de preuves pour l’enseignement en L1 Marie Kerjean,Frédéric Le Roux,Patrick Massot,Micaela Mayero,Zoé Mesnilet al. La Gazette de la Société mathématique de France, 2022, 174 Article dans une revue hal-03979238v1
Branching Random Walks Conditioned on Particle Numbers Tianyi Bai,Pierre Rousselin Journal of Statistical Physics, 2021, 185 (3), pp.20. ⟨10.1007/s10955-021-02833-y⟩ Article dans une revue hal-04011794v1
Invariant measures, Hausdorff dimension and dimension drop of some harmonic measures on Galton-Watson trees Pierre Rousselin Electronic Journal of Probability, 2018, 23 (none), ⟨10.1214/18-EJP170⟩ Article dans une revue hal-04011780v1

Communication dans un congrès (5)

Teaching Divisibility and Binomials with Coq Sylvie Boldo,François Clément,David Hamelin,Micaela Mayero,Pierre Rousselin 13th 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⟩ Communication dans un congrès hal-04725586v3
Utilisation de Coq pour l'enseignement des mathématiques en L1 et en seconde Marie Kerjean,Micaela Mayero,Pierre Rousselin 35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France Communication dans un congrès hal-04407159v1
Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq Thomas Lamiaux,Pierre Rousselin,Théo Zimmermann The 15th Coq Workshop 2024, Clément Pit-Gaudel; Théo Winterhalter, Sep 2024, Tbilisi / Hybrid, Georgia Communication dans un congrès hal-04823184v1
Maths with Coq in L1, a pedagogical experiment Marie Kerjean,Micaela Mayero,Pierre Rousselin ThEdu 2024 - 13th International Workshop on Theorem proving components for Educational software, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2024, Nancy, France Communication dans un congrès hal-04823220v1
Mathematics with Coq for first-year undergraduate students Pierre Rousselin The Coq Workshop 2023, Yves Bertot; Enrico Tassi, Jul 2023, Białystok, Poland Communication dans un congrès hal-04822929v1

Pré-publication, Document de travail (1)

Dimension Drop for Transient Random Walks on Galton-Watson Trees in Random Environments Pierre Rousselin 2023 Pré-publication, Document de travail hal-04011862v1

Rapport (1)

Teaching Divisibility and Binomials with Coq Sylvie Boldo,François Clément,David Hamelin,Micaela Mayero,Pierre Rousselin RR-9547, Inria. 2024, pp.13 Rapport hal-04550762v2

Thèse (1)

Random walks on random trees Pierre Rousselin Probability [math.PR]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCD023⟩ Thèse tel-02464070v1