Pierre Rousselin

12
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

Utilisation des assistants de preuves pour l’enseignement en L1

Marie Kerjean , Frédéric Le Roux , Patrick Massot , Micaela Mayero , Zoé Mesnil et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Random walks on random trees

Pierre Rousselin

Probability [math.PR]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCD023⟩

Thèse tel-02464070v1