
Pierre Rousselin
12
Documents
Publications
Publications
|
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⟩
Communication dans un congrès
hal-04725586
v3
|
|
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
Communication dans un congrès
hal-04407159
v1
|
|
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
Communication dans un congrès
hal-04823184
v1
|
|
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
Communication dans un congrès
hal-04823220
v1
|
|
Mathematics with Coq for first-year undergraduate studentsThe Coq Workshop 2023, Yves Bertot; Enrico Tassi, Jul 2023, Białystok, Poland
Communication dans un congrès
hal-04822929
v1
|
|
Teaching Divisibility and Binomials with CoqRR-9547, Inria. 2024, pp.13
Rapport
hal-04550762
v2
|
|
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⟩
Article dans une revue
hal-04825036
v1
|
|
Utilisation des assistants de preuves pour l’enseignement en L1La Gazette de la Société mathématique de France, 2022, 174
Article dans une revue
hal-03979238
v1
|
|
Branching Random Walks Conditioned on Particle NumbersJournal of Statistical Physics, 2021, 185 (3), pp.20. ⟨10.1007/s10955-021-02833-y⟩
Article dans une revue
hal-04011794
v1
|
|
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⟩
Article dans une revue
hal-04011780
v1
|
|
Random walks on random treesProbability [math.PR]. Université Sorbonne Paris Cité, 2018. English. ⟨NNT : 2018USPCD023⟩
Thèse
tel-02464070
v1
|
|
Dimension Drop for Transient Random Walks on Galton-Watson Trees in Random Environments2023
Pré-publication, Document de travail
hal-04011862
v1
|
Chargement...
Chargement...