La dernière année du département mathématique de l'ENS Rennes se passe en dehors des murs. C'est l'occasion, pour valider un M2 recherche, de participer à des séminaires, des atliers de recherche, présenter un sujet lors des journées 4A du département, etc. Cette page a vocation à recueillir les papiers des élèves qui ont accepté de rendre leur travail visible sur ce wiki.

= Algèbre & géométrie =

== Algèbres cellulaires ==
Rapport de séminaire par [[Utilisateur : Antoine De | Antoine Dequay]] (maths 2018), encadré par Salim Rostam en 2022, d'après l'article de 1991 ''Iwahori–Hecke algebras and Schur algebras of the symmetric group'' de Andrew Mathas.

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Media:Algebres_cellulaires_Antoine_Dequay.pdf | Algèbres cellulaires]]

= Analyse & probabilités =

== Théorie des grandes déviations ==
Mémoire de Léo Daures (math 2018) encadré par Noé Cunéo lors d'un stage de 4A au LPSM site Sophie Germain. On y traite d'un principe des grandes déviations pour les mesures empiriques de chaînes de Markov finies, et on y prouve en détail l'égalité de plusieurs fonctions de taux associées.

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Media:Rate functions for Markov chains on finite spaces.pdf|Rate functions for Markov chains on finite spaces]]
== Théorie ergodique ==

Rapport de séminaire de Léo Daures (math 2018), encadré par Christophe Cuny, d'après l'article de 1979 ''Counterexamples in ergodic theory and number theory'' de Joseph Rosenblatt et Andres del Junco.

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Media:Seminaire_leo_daures.pdf |Absence de vitesse de convergence dans le théorème ergodique de Birkhoff]]
== Convergence en loi sur les chaos de Wiener ==

Rapport de stage de Jérémy Zurcher (math 2018) effectué en 2022 auprès de Ciprian Tudor au laboratoire Paul Painlevé de Lille. On introduit les notions de dérivée de Malliavin, de méthode de Stein, et de la manière dont la combinaison des deux forme un outil puissant pour prouver des théorèmes centraux limites.

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Media:Convergence_in_law_on_Wiener_chaos.pdf |Convergence in law on Wiener chaos]]

= Autre =

Fichier:Convergence in law on Wiener chaos.pdf

2022-08-25T17:00:00Z

Antoine De :

Fichier:204 2021-2022.pdf

2022-07-11T10:08:39Z

Antoine De :

2022-04-23T13:01:50Z

Antoine De :

2022-04-22T08:50:07Z

Antoine De : /* Introduction aux chaïnes de Markov et marche aléatoire */

Accueil

2022-04-22T08:49:10Z

Antoine De :

= Bienvenue sur la Minerve de l'ENS Rennes !=

Ce wiki a pour but de rassembler divers documents relatifs au département de maths de l'ENS Rennes. Vous y trouverez notamment un grand contenu lié à l'agreg, avec des leçons, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

= Productions de 4A =

== Séminaires, stages et autres journées 4A ==
* [[Productions_4A|Page des productions de 4A.]]

= Productions de 3A : l'Agreg =

== Les Leçons ==

Un document regroupant des remarques et des questions à propos de chaque leçon, ainsi que des plans de leçons et quelques développements : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Leçons_akita.pdf}}|24px]]

* [[Leçons d'algèbre]]
* [[Leçons d'analyse]]
* [[Anciennes leçons]]

* [[Leçons d'informatique]] (utiles pour l'agregation d'informatique)

== Les Développements ==

La page [[Développements par thèmes]] regroupe la plupart des développements mis en lignes par les élèves de promotions précédentes sur Minerve.
De plus, une liste de développements écrits par des enseignants de Rennes 1 est disponible à cette adresse : [http://agreg-maths.univ-rennes1.fr/documentation/developpements/ développements]. En général, chaque page de leçon renvoie vers des développements en lien avec cette leçon.

== Les Références ==

Consultez ici toutes les informations concernant la [[bibliographie]].

Les livres conseillés avant 2019 par David Cachera pour l'option informatique sont listés [[Media:Biblio_info.pdf|ici]].

Les références conseillées par Lilian Besson à la rentrée 2020 (pour l'informatique, mais aussi les mathématiques!) se trouvent par [[Media:References.pdf|là]].

== Les Fiches de cours ==

* [[Fiches d'analyse]]
* [[Fiches d'algèbre]]
* [[Fiches d'informatique]]

== Exos classiques et autres démonstrations ==

Un grand projet...
[[Exos classiques et autres démonstrations]]

== Liens utiles ==

* J'(Simon)ai écrit [http://perso.eleves.bretagne.ens-cachan.fr/~sbill404/fichiers/dvpts.odt un texte] qui comprend les leçons déjà étudiées (au premier trimestre) qui figurent au programme de l'option info. Il contient les remarques du jury et des exemples de développements référencés (essentiellement volées sur le site de Laurent Pater et sur Dynamaths). Il vous intéressera sûrement moins si vous n'êtes pas en option D, mais au cas où...
* Quant à moi j'(Pierre M.)ai répertorié [[Média : Listedesleçons.tex | dans ce document‎]] la liste des leçons (me basant sur celle de ce wiki même) avec les rapports des jurys 2009 et 2010. À titre personnel j'imprimerai le fichier tel quel et remplirai tout à la main.
* Vous pouvez télécharger ce [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cartouche_Leçon.pdf}} |24px]] de 3 pages qui peut servir de cadre pour leçon (basée sur une interprétation libre du rapport du jury 2008). Et ajouter si besoin une page d'annexe pour les figures : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cartouche_annexe.pdf}} |24px]].
* Vous trouverez les emplois du temps, les pages d'anciens élèves, et d'autres choses fort utiles sur la [[Liens utiles| page qui porte bien son nom]].

== Sites d'anciens ==

* Dorian Cacitti-Holland (option A, 2021) : [http://perso.eleves.ens-rennes.fr/~dcaci409/index.html]
* Jérémy Zurcher (option B, 2021) : [http://perso.eleves.ens-rennes.fr/people/jeremy.zurcher/]
* Léo Daures (option A, 2021) : [http://perso.eleves.ens-rennes.fr/~ldaur234/]

* Maxime Bouchereau (option B, 2020) : [http://perso.eleves.ens-rennes.fr/~mbouc892/index.html]

* Clémentine Lemarié--Rieusset (2019): conseils [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Conseils.pdf}}|24px]],bibliographie [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Biblioagreg.pdf}}|24px]], couplages [[Fichier:Pdf.png|alt=Pdf|link={{filepath:CouplagesCLR.pdf}}|24px]] , mémoire sur la leçon 125 [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Mémoire125.pdf}}|24px]], [https://agreg-maths.fr/users/12092 mes développements]
* Clarence Kineider (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/clarence.kineider/]
* Emilie Tezenas (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/emilie.tezenas-du-montcel/]
* Julie Parreaux (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/julie.parreaux/]
* Théo Untrau (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/theo.untrau/]
* Thomas Cavallazzi (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/thomas.cavallazzi/]
* Pierre Le Barbenchon (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/pierre.le-barbenchon/]
[[Leçons 2016 - 2017]]
* Emily Clement (Option C, 2017) : [http://perso.eleves.ens-rennes.fr/people/Emily.Clement/]
* Grégoire Clarté (Option A, 2017) : [http://perso.eleves.ens-rennes.fr/people/Gregoire.Clarte/]
* Vidal Agniel (Option C, 2017) : [http://perso.eleves.ens-rennes.fr/~vaign357/agregation.html] (méta-plans, liste de pages/documents autour de l'agrégation, méthodologie de l'oral [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Methodologie_de_l'oral.pdf}}|24px]], notions d'option C [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Notions_d'Option_C.pdf}}|24px]],...)

* Manon Ruffini (Option info, 2016) : [http://perso.eleves.ens-rennes.fr/people/Manon.Ruffini/info.htm]

* Florian Lemonnier (option A, 2015) : [http://perso.eleves.ens-rennes.fr/~flemonni/agregation/agreg.html]
[[Leçons 2013 - 2014]]
* Maxime Pouvreau (2014) : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Développements_Maxime.pdf}}|24px]]
* Florian Le Manach (2014) : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:DéveloppementsLeManach.pdf}}|24px]]
[[Leçons 2012 - 2013]]
* Simon Boulier (2013) : [http://perso.eleves.ens-rennes.fr/~sboul434/agreg/agreg.html] (surtout info)
[[Lecons 2012]]
* Florian Bouguet (2012) : [http://florian.bouguet.free.fr/documents.html]
* Arnaud Girand (2012) : [http://math.webgirand.eu/agreg.html#dvp]
* Ophélie Rouby (2012) : [http://perso.eleves.bretagne.ens-cachan.fr/~oroub842/agregation.html]
* Kévin Quirin (2012) : [http://kevin.quirin.free.fr/documents.html#Agr%C3%A9gation]

* Pierre Monmarché (2011) : [http://perso.eleves.bretagne.ens-cachan.fr/~pmonm570/fichiers/1-total.pdf]

= Productions de 2A =

== Groupe de Lecture ==
* [[Groupes_de_Lecture|Page des groupes de lecture.]]

== Stages ==
* [[Stages_2A|Page des stages de 2A.]]

= Productions de 1A =

== Lectures dirigées ==
* [[Lectures_dirigées|Page des lectures dirigées.]]

== Stages ==
* [[Stages_1A|Page des stages de 1A.]]

== Autres documents ==
* [[Autres_productions_1A|Page des autres productions de 1A.]]

= Divers =

== Une question ? ==
Posez la sur la [[page des questions]]. Voir aussi le [[guide de rangement]].

== À propos du wiki ==
N'hésitez pas à proposer des modifications sur l'organisation du wiki ou autres à l'aide de la [[Page de suggestions]].

Si vous souhaitez vous inscrire pour partager votre travail, contactez [[Utilisateur : Antoine De | Antoine Dequay]] en indiquant le pseudo que vous souhaitez utiliser sur le forum (en général le prénom et la première lettre du nom).

Accueil

2022-04-22T08:48:56Z

Antoine De :

= Bienvenue sur la Minerve de l'ENS Rennes !=

Ce wiki a pour but de rassembler divers documents relatifs au département de maths de l'ENS Rennes. Vous y trouverez notamment un grand contenu lié à l'agreg, avec des leçons, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

= Productions de 4A =

== Séminaires, stages et autres journées 4A ==
* [[Productions_4A|Page des productions de 4A.]]

= Productions de 3A : l'Agreg =

== Les Leçons ==

Un document regroupant des remarques et des questions à propos de chaque leçon, ainsi que des plans de leçons et quelques développements : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Leçons_akita.pdf}}|24px]]

* [[Leçons d'algèbre]]
* [[Leçons d'analyse]]
* [[Anciennes leçons]]
* [[Leçons d'informatique]] (utiles pour l'agregation d'informatique)

== Les Développements ==

La page [[Développements par thèmes]] regroupe la plupart des développements mis en lignes par les élèves de promotions précédentes sur Minerve.
De plus, une liste de développements écrits par des enseignants de Rennes 1 est disponible à cette adresse : [http://agreg-maths.univ-rennes1.fr/documentation/developpements/ développements]. En général, chaque page de leçon renvoie vers des développements en lien avec cette leçon.

== Les Références ==

Consultez ici toutes les informations concernant la [[bibliographie]].

Les livres conseillés avant 2019 par David Cachera pour l'option informatique sont listés [[Media:Biblio_info.pdf|ici]].

Les références conseillées par Lilian Besson à la rentrée 2020 (pour l'informatique, mais aussi les mathématiques!) se trouvent par [[Media:References.pdf|là]].

== Les Fiches de cours ==

* [[Fiches d'analyse]]
* [[Fiches d'algèbre]]
* [[Fiches d'informatique]]

== Exos classiques et autres démonstrations ==

Un grand projet...
[[Exos classiques et autres démonstrations]]

== Liens utiles ==

* J'(Simon)ai écrit [http://perso.eleves.bretagne.ens-cachan.fr/~sbill404/fichiers/dvpts.odt un texte] qui comprend les leçons déjà étudiées (au premier trimestre) qui figurent au programme de l'option info. Il contient les remarques du jury et des exemples de développements référencés (essentiellement volées sur le site de Laurent Pater et sur Dynamaths). Il vous intéressera sûrement moins si vous n'êtes pas en option D, mais au cas où...
* Quant à moi j'(Pierre M.)ai répertorié [[Média : Listedesleçons.tex | dans ce document‎]] la liste des leçons (me basant sur celle de ce wiki même) avec les rapports des jurys 2009 et 2010. À titre personnel j'imprimerai le fichier tel quel et remplirai tout à la main.
* Vous pouvez télécharger ce [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cartouche_Leçon.pdf}} |24px]] de 3 pages qui peut servir de cadre pour leçon (basée sur une interprétation libre du rapport du jury 2008). Et ajouter si besoin une page d'annexe pour les figures : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cartouche_annexe.pdf}} |24px]].
* Vous trouverez les emplois du temps, les pages d'anciens élèves, et d'autres choses fort utiles sur la [[Liens utiles| page qui porte bien son nom]].

== Sites d'anciens ==

* Dorian Cacitti-Holland (option A, 2021) : [http://perso.eleves.ens-rennes.fr/~dcaci409/index.html]
* Jérémy Zurcher (option B, 2021) : [http://perso.eleves.ens-rennes.fr/people/jeremy.zurcher/]
* Léo Daures (option A, 2021) : [http://perso.eleves.ens-rennes.fr/~ldaur234/]

* Maxime Bouchereau (option B, 2020) : [http://perso.eleves.ens-rennes.fr/~mbouc892/index.html]

* Clémentine Lemarié--Rieusset (2019): conseils [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Conseils.pdf}}|24px]],bibliographie [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Biblioagreg.pdf}}|24px]], couplages [[Fichier:Pdf.png|alt=Pdf|link={{filepath:CouplagesCLR.pdf}}|24px]] , mémoire sur la leçon 125 [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Mémoire125.pdf}}|24px]], [https://agreg-maths.fr/users/12092 mes développements]
* Clarence Kineider (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/clarence.kineider/]
* Emilie Tezenas (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/emilie.tezenas-du-montcel/]
* Julie Parreaux (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/julie.parreaux/]
* Théo Untrau (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/theo.untrau/]
* Thomas Cavallazzi (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/thomas.cavallazzi/]
* Pierre Le Barbenchon (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/pierre.le-barbenchon/]
[[Leçons 2016 - 2017]]
* Emily Clement (Option C, 2017) : [http://perso.eleves.ens-rennes.fr/people/Emily.Clement/]
* Grégoire Clarté (Option A, 2017) : [http://perso.eleves.ens-rennes.fr/people/Gregoire.Clarte/]
* Vidal Agniel (Option C, 2017) : [http://perso.eleves.ens-rennes.fr/~vaign357/agregation.html] (méta-plans, liste de pages/documents autour de l'agrégation, méthodologie de l'oral [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Methodologie_de_l'oral.pdf}}|24px]], notions d'option C [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Notions_d'Option_C.pdf}}|24px]],...)

* Manon Ruffini (Option info, 2016) : [http://perso.eleves.ens-rennes.fr/people/Manon.Ruffini/info.htm]

* Florian Lemonnier (option A, 2015) : [http://perso.eleves.ens-rennes.fr/~flemonni/agregation/agreg.html]
[[Leçons 2013 - 2014]]
* Maxime Pouvreau (2014) : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Développements_Maxime.pdf}}|24px]]
* Florian Le Manach (2014) : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:DéveloppementsLeManach.pdf}}|24px]]
[[Leçons 2012 - 2013]]
* Simon Boulier (2013) : [http://perso.eleves.ens-rennes.fr/~sboul434/agreg/agreg.html] (surtout info)
[[Lecons 2012]]
* Florian Bouguet (2012) : [http://florian.bouguet.free.fr/documents.html]
* Arnaud Girand (2012) : [http://math.webgirand.eu/agreg.html#dvp]
* Ophélie Rouby (2012) : [http://perso.eleves.bretagne.ens-cachan.fr/~oroub842/agregation.html]
* Kévin Quirin (2012) : [http://kevin.quirin.free.fr/documents.html#Agr%C3%A9gation]

* Pierre Monmarché (2011) : [http://perso.eleves.bretagne.ens-cachan.fr/~pmonm570/fichiers/1-total.pdf]

= Productions de 2A =

== Groupe de Lecture ==
* [[Groupes_de_Lecture|Page des groupes de lecture.]]

== Stages ==
* [[Stages_2A|Page des stages de 2A.]]

= Productions de 1A =

== Lectures dirigées ==
* [[Lectures_dirigées|Page des lectures dirigées.]]

== Stages ==
* [[Stages_1A|Page des stages de 1A.]]

== Autres documents ==
* [[Autres_productions_1A|Page des autres productions de 1A.]]

= Divers =

== Une question ? ==
Posez la sur la [[page des questions]]. Voir aussi le [[guide de rangement]].

== À propos du wiki ==
N'hésitez pas à proposer des modifications sur l'organisation du wiki ou autres à l'aide de la [[Page de suggestions]].

Si vous souhaitez vous inscrire pour partager votre travail, contactez [[Utilisateur : Antoine De | Antoine Dequay]] en indiquant le pseudo que vous souhaitez utiliser sur le forum (en général le prénom et la première lettre du nom).

Accueil

2022-04-22T08:48:46Z

Antoine De :

= Bienvenue sur la Minerve de l'ENS Rennes !=

Ce wiki a pour but de rassembler divers documents relatifs au département de maths de l'ENS Rennes. Vous y trouverez notamment un grand contenu lié à l'agreg, avec des leçons, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

= Productions de 4A =

== Séminaires, stages et autres journées 4A ==
* [[Productions_4A|Page des productions de 4A.]]

= Productions de 3A : l'Agreg =

== Les Leçons ==

Un document regroupant des remarques et des questions à propos de chaque leçon, ainsi que des plans de leçons et quelques développements : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Leçons_akita.pdf}}|24px]]

* [[Leçons d'algèbre]]
* [[Leçons d'analyse]]
* [[Leçons d'informatique]] (utiles pour l'agregation d'informatique)
* [[Anciennes leçons]]

== Les Développements ==

La page [[Développements par thèmes]] regroupe la plupart des développements mis en lignes par les élèves de promotions précédentes sur Minerve.
De plus, une liste de développements écrits par des enseignants de Rennes 1 est disponible à cette adresse : [http://agreg-maths.univ-rennes1.fr/documentation/developpements/ développements]. En général, chaque page de leçon renvoie vers des développements en lien avec cette leçon.

== Les Références ==

Consultez ici toutes les informations concernant la [[bibliographie]].

Les livres conseillés avant 2019 par David Cachera pour l'option informatique sont listés [[Media:Biblio_info.pdf|ici]].

Les références conseillées par Lilian Besson à la rentrée 2020 (pour l'informatique, mais aussi les mathématiques!) se trouvent par [[Media:References.pdf|là]].

== Les Fiches de cours ==

* [[Fiches d'analyse]]
* [[Fiches d'algèbre]]
* [[Fiches d'informatique]]

== Exos classiques et autres démonstrations ==

Un grand projet...
[[Exos classiques et autres démonstrations]]

== Liens utiles ==

* J'(Simon)ai écrit [http://perso.eleves.bretagne.ens-cachan.fr/~sbill404/fichiers/dvpts.odt un texte] qui comprend les leçons déjà étudiées (au premier trimestre) qui figurent au programme de l'option info. Il contient les remarques du jury et des exemples de développements référencés (essentiellement volées sur le site de Laurent Pater et sur Dynamaths). Il vous intéressera sûrement moins si vous n'êtes pas en option D, mais au cas où...
* Quant à moi j'(Pierre M.)ai répertorié [[Média : Listedesleçons.tex | dans ce document‎]] la liste des leçons (me basant sur celle de ce wiki même) avec les rapports des jurys 2009 et 2010. À titre personnel j'imprimerai le fichier tel quel et remplirai tout à la main.
* Vous pouvez télécharger ce [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cartouche_Leçon.pdf}} |24px]] de 3 pages qui peut servir de cadre pour leçon (basée sur une interprétation libre du rapport du jury 2008). Et ajouter si besoin une page d'annexe pour les figures : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cartouche_annexe.pdf}} |24px]].
* Vous trouverez les emplois du temps, les pages d'anciens élèves, et d'autres choses fort utiles sur la [[Liens utiles| page qui porte bien son nom]].

== Sites d'anciens ==

* Dorian Cacitti-Holland (option A, 2021) : [http://perso.eleves.ens-rennes.fr/~dcaci409/index.html]
* Jérémy Zurcher (option B, 2021) : [http://perso.eleves.ens-rennes.fr/people/jeremy.zurcher/]
* Léo Daures (option A, 2021) : [http://perso.eleves.ens-rennes.fr/~ldaur234/]

* Maxime Bouchereau (option B, 2020) : [http://perso.eleves.ens-rennes.fr/~mbouc892/index.html]

* Clémentine Lemarié--Rieusset (2019): conseils [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Conseils.pdf}}|24px]],bibliographie [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Biblioagreg.pdf}}|24px]], couplages [[Fichier:Pdf.png|alt=Pdf|link={{filepath:CouplagesCLR.pdf}}|24px]] , mémoire sur la leçon 125 [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Mémoire125.pdf}}|24px]], [https://agreg-maths.fr/users/12092 mes développements]
* Clarence Kineider (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/clarence.kineider/]
* Emilie Tezenas (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/emilie.tezenas-du-montcel/]
* Julie Parreaux (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/julie.parreaux/]
* Théo Untrau (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/theo.untrau/]
* Thomas Cavallazzi (option A, 2019) : [http://perso.eleves.ens-rennes.fr/people/thomas.cavallazzi/]
* Pierre Le Barbenchon (option D, 2019) : [http://perso.eleves.ens-rennes.fr/people/pierre.le-barbenchon/]
[[Leçons 2016 - 2017]]
* Emily Clement (Option C, 2017) : [http://perso.eleves.ens-rennes.fr/people/Emily.Clement/]
* Grégoire Clarté (Option A, 2017) : [http://perso.eleves.ens-rennes.fr/people/Gregoire.Clarte/]
* Vidal Agniel (Option C, 2017) : [http://perso.eleves.ens-rennes.fr/~vaign357/agregation.html] (méta-plans, liste de pages/documents autour de l'agrégation, méthodologie de l'oral [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Methodologie_de_l'oral.pdf}}|24px]], notions d'option C [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Notions_d'Option_C.pdf}}|24px]],...)

* Manon Ruffini (Option info, 2016) : [http://perso.eleves.ens-rennes.fr/people/Manon.Ruffini/info.htm]

* Florian Lemonnier (option A, 2015) : [http://perso.eleves.ens-rennes.fr/~flemonni/agregation/agreg.html]
[[Leçons 2013 - 2014]]
* Maxime Pouvreau (2014) : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Développements_Maxime.pdf}}|24px]]
* Florian Le Manach (2014) : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:DéveloppementsLeManach.pdf}}|24px]]
[[Leçons 2012 - 2013]]
* Simon Boulier (2013) : [http://perso.eleves.ens-rennes.fr/~sboul434/agreg/agreg.html] (surtout info)
[[Lecons 2012]]
* Florian Bouguet (2012) : [http://florian.bouguet.free.fr/documents.html]
* Arnaud Girand (2012) : [http://math.webgirand.eu/agreg.html#dvp]
* Ophélie Rouby (2012) : [http://perso.eleves.bretagne.ens-cachan.fr/~oroub842/agregation.html]
* Kévin Quirin (2012) : [http://kevin.quirin.free.fr/documents.html#Agr%C3%A9gation]

* Pierre Monmarché (2011) : [http://perso.eleves.bretagne.ens-cachan.fr/~pmonm570/fichiers/1-total.pdf]

= Productions de 2A =

== Groupe de Lecture ==
* [[Groupes_de_Lecture|Page des groupes de lecture.]]

== Stages ==
* [[Stages_2A|Page des stages de 2A.]]

= Productions de 1A =

== Lectures dirigées ==
* [[Lectures_dirigées|Page des lectures dirigées.]]

== Stages ==
* [[Stages_1A|Page des stages de 1A.]]

== Autres documents ==
* [[Autres_productions_1A|Page des autres productions de 1A.]]

= Divers =

== Une question ? ==
Posez la sur la [[page des questions]]. Voir aussi le [[guide de rangement]].

== À propos du wiki ==
N'hésitez pas à proposer des modifications sur l'organisation du wiki ou autres à l'aide de la [[Page de suggestions]].

Si vous souhaitez vous inscrire pour partager votre travail, contactez [[Utilisateur : Antoine De | Antoine Dequay]] en indiquant le pseudo que vous souhaitez utiliser sur le forum (en général le prénom et la première lettre du nom).

901 -- Structures de données : exemples et applications.

2022-04-22T08:48:03Z

Antoine De :

2022-04-22T08:40:47Z

Antoine De :

913 -- Machines de Turing. Applications.

2022-04-22T08:38:35Z

Antoine De :

914 -- Décidabilité et indécidabilité. Exemples.

2022-04-22T08:37:17Z

Antoine De :

= Plans =

[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2012-2013.pdf|24px]] [[Média:914_2012-2013.pdf|Plan scanné de l'année 2012-2013]]

[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2013-2014.pdf|24px]] [[Média:914_2013-2014.pdf|Plan scanné de l'année 2013-2014]]

[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2014-2015.pdf|24px]] [[Média:914_2014-2015.pdf|Plan scanné de l'année 2014-2015]]

[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2015-2016.pdf|24px]] [[Média:914_2015-2016.pdf|Plan scanné de l'année 2015-2016]]

[[Fichier:Pdf.png|alt=Pdf|link=Média:914_2018-2019.pdf|24px]] [[Média:914_2018-2019.pdf|Plan scanné de l'année 2018-2019]]

= Développements =
<DynamicPageList>
category = Développement de la leçon 914
</DynamicPageList>

= Commentaires =

* Attention pour le théorème de Rice : <math> \emptyset \not = \{ \emptyset \} </math>
* Complément de cours : [http://www-igm.univ-mlv.fr/~desar/Cours/automates/ch8.pdf]

[[Category:Leçon d'informatique]]
[[Category:Anciennes leçons]]

915 -- Classes de complexité : exemples.

2022-04-22T08:35:47Z

Antoine De :

916 -- Formules du calcul propositionnel : représentation, formes normales, satisﬁabilité. Applications.

2022-04-22T08:34:46Z

Antoine De :

2022-04-22T08:30:59Z

Antoine De :

923 -- Analyses lexicale et syntaxique : applications.

2022-04-22T08:30:35Z

Antoine De :

= Plans =

*2012-2013 [[Fichier:Pdf.png|alt=Pdf|link=Média:923_2012-2013.pdf|24px]] [[Média:923_2012-2013.pdf|Plan scanné de l'année 2012-2013]]
*2014-2015 [[Fichier:Pdf.png|alt=Pdf|link=Média:923_2014-2015.pdf|24px]] [[Média:923_2014-2015.pdf|Plan scanné de l'année 2014-2015]]
*2015-2016 [[Fichier:Pdf.png|alt=Pdf|link=Média:923_2015-2016.pdf|24px]] [[Média:923_2015-2016.pdf|Plan scanné de l'année 2015-2016]]
*2018-2019 [[Fichier:Pdf.png|alt=Pdf|link=Média:923_2018-2019.pdf|24px]] [[Média:923_2018-2019.pdf|Plan scanné de l'année 2018-2019]]

= Développements =
<DynamicPageList>
category = Développement de la leçon 923
</DynamicPageList>
= Références =
* Dans la première édition du Hopcroft-Ullman, il y a un chapitre sur l'analyse LR.
* Idem dans la dernière (3ème) édition du Sipser.

[[Category:Leçon d'informatique]]
[[Category:Anciennes leçons]]

924 -- Théories et modèles en logique du premier ordre. Exemples.

2022-04-22T08:29:07Z

Antoine De :

925 -- Graphes : représentations et algorithmes.

2022-04-22T08:27:58Z

Antoine De :

927 -- Exemples de preuve d’algorithme : correction, terminaison.

2022-04-22T08:26:40Z

Antoine De :

= Plans =

[[Fichier:Pdf.png|alt=Pdf|link=Média:927_2012-2013.pdf|24px]] [[Média:927_2012-2013.pdf|Plan scanné de l'année 2012-2013]]

[[Fichier:Pdf.png|alt=Pdf|link=Média:927_2013-2014.pdf|24px]] [[Média:927_2013-2014.pdf|Plan scanné de l'année 2013-2014]]

[[Fichier:Pdf.png|alt=Pdf|link=Média:927_2014-2015.pdf|24px]] [[Média:927_2014-2015.pdf|Plan scanné de l'année 2014-2015]]

[[Fichier:Pdf.png|alt=Pdf|link=Média:927_2015-2016.pdf|24px]] [[Média:927_2015-2016.pdf|Plan scanné de l'année 2015-2016]]

[[Fichier:Pdf.png|alt=Pdf|link=Média:927_2018-2019.pdf|24px]] [[Média:927_2018-2019.pdf|Plan scanné de l'année 2018-2019]]

= Autre plan : Olivier et Yon (2013) =

== Plan ==

Petite intro (mentionner le problème de preuve de correction et terminaison
des boucles).

=== Preuves informelles [Cormen] ===

==== Étude de la correction ====

# Invariant de boucle, exemple du tri insertion. Remarque que certains algorithmes incorrects sont intéressants (ex : Soloway-Strassen).
# Étude de la terminaison. Problème indécidable. Ensembles bien fondés. Variant de boucle.
# Exemple complet : Algorithme de Hopcroft [Carton + preuve modifiée] (DEV). Écrire l'algo sur le plan. Ne prouver que la correction si trop long.

=== Preuves formelles [Winskel] ===

# Langage IMP : Syntaxe, définitions.
#* Sémantique dénotationnelle : sémantique des commandes surtout, en particulier du while.
#* Remarque : a priori on pourrait faire la sémantique opérationnelle aussi.
# Règles de Hoare : langage d'assertions, triplet de Hoare. Exemple pour le calcul de la factorielle (autre DEV possible a priori).
#* Correction des règles (DEV).
#* Plus faibles préconditions

= Développements =
<DynamicPageList>
category = Développement de la leçon 927
</DynamicPageList>
== Autres possibles ==
* [[Correction de l'algo de Hopcroft]]
* [[Correction des règles de Hoare]]
* Correction du calcul de la factorielle avec les règles de Hoare

= Références =

* Cormen et al.
* Carton
* Winskel

[[Category:Leçon d'informatique]]
[[Category:Anciennes leçons]]

926 -- Analyse des algorithmes : complexité. Exemples.

2022-04-22T08:23:58Z

Antoine De :

Lectures dirigées

2022-04-21T21:39:04Z

Antoine De :

Le programme de première année du département mathématique de l'ENS Rennes inclut, au second semestre, un exercice de lecture dirigée. Les élèves, par groupe de deux, lisent et dissèquent un papier traitant d'un problème ou de résultats mathématiques sous la direction d'un enseignant/chercheur de l'ENS ou de l'IRMAR. Le rendu final doit être un papier de synthèse des documents qu'ils ont été amener à étudier ainsi qu'une soutenance orale. Cette page a vocation à recueillir les papiers des élèves qui ont accepté de rendre leur travail visible sur ce wiki.

= Algèbre & géométrie =

== Groupe de Thompson ==
Par [[Utilisateur : Antoine De | Antoine Dequay]](maths 2018) et Juliette Veuillez--Mainard(maths 2018)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Media:Groupe_Thompson_A.Dequay_J.Veuillez--Mainard.pdf | Groupe de Thompson A.Dequay J. Veuillez--Mainard]]

== Algèbre différentielle ==
Par Eliot Hecky(maths 2020) et Gabriel Bartlett(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Media:Algèbre_différentielle_E.Hecky_G.Bartlett.pdf | Algèbre différentielle E.Hecky G.Bartlett]]

== Applications polynomiales entre sphères ==
Par Victor Lecerf(maths 2020) et Maxime Moscatelli(maths 2020)

La question de l'existence d'application polynomiales entre sphères est loin d'être gratuite. Des outils nous permettent de traiter les cas des dimensions petites (<48) mais aucun ne nous donne de résultat général. Dans ce papiers, nous présentons certains de ces outils comme la réduction au problème de l'existence de formes de Hopf ainsi que le théorème de Hurwitz-Radon.

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Applications_polyn_miales_de_S_n_dans_S_k_V.Lecerf_M.Moscatelli.pdf | Applications polynomiales entre sphères V.Lecerf M.Moscatelli]]

== Le Théorème de Jordan ==
Par Vincent Le Gruiec(maths 2020) et Sacha Quayle(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Le_Théorème_de_Jordan_S.Quayle_V.Le_Gruiec..pdf | Le théorème de Jordan S.Quayle V.Le Gruiec]]

== Le XVIIème problème d'Hilbert ==
Par Dounia Darkaoui(maths 2020) et Brian Flanagan(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:LeXVIIèmeproblèmed'Hilbert_D.Darkaoui_B.Flanagan.pdf | Le XVIIème problème de Hilbert D.Darkaoui B.Flanagan]]

= Analyse & probabilités =

== Principe d'incertitude et théorème de Logvinenko-Sereda ==
Par Samuel Chan-Ashing(maths 2020) et Bastien Lecluse(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Principe_d'incertitude_et_théorème_de_Logvinenko-Sereda_S.Chan-ashing_B.Lecluse.pdf | Principe d'incertitude et théorème de Logvinenko-Serada S.Chan-ashing B.Lecluse]]

== Pile ou face Collectionneur coupons ==
Par Alexandre Drewery(maths 2020) et Victor Voisin(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Pile_ou_face_Collectionneur_coupons_A.Drewery_V.Voisin.pdf | Pile ou face collectionneur coupons A.Drewery V.Voisin]]

==Opérateur a trace==
Par Alexis Guérin(maths 2020) et Yann Delaporte(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Opérateur_a_trace_Y.Delaporte_A.Guérin.pdf | Opérateur à trace Y.Delaporte A.Guérin]]

== Formule de Katz-Rice ==
Par Geoffrey Deperle(maths 2020) et Laurent Montaigu(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Formule_de_Katz-Rice_G.Deperle_L.Montaigu.pdf | Formule de Kate-Rice G.Deperle L.Montaigu]]

== Introduction aux chaïnes de Markov et marche aléatoire ==
Par Jérémy Bettinger(maths 2020) & Florent Corniquel(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:chaines_J.Bettinger_F.Corniquel.pdf | Introduction aux chaïnes de Markov et marche aléatoire J.Bettinger F.Corniquel]]

= Autre =

Lectures dirigées

2022-04-21T21:36:50Z

Antoine De :

Le programme de première année du département mathématique de l'ENS Rennes inclut, au second semestre, un exercice de lecture dirigée. Les élèves, par groupe de deux, lisent et dissèquent un papier traitant d'un problème ou de résultats mathématiques sous la direction d'un enseignant/chercheur de l'ENS ou de l'IRMAR. Le rendu final doit être un papier de synthèse des documents qu'ils ont été amener à étudier ainsi qu'une soutenance orale. Cette page a vocation à recueillir les papiers des élèves qui ont accepté de rendre leur travail visible sur ce wiki.

= Algèbre & géométrie =

== Groupe de Thompson ==
Par [[Utilisateur : Antoine De | Antoine Dequay]](maths 2018) et Juliette Veuillez--Mainard(maths 2018)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Media:Groupe_Thompson_A.Dequay_J.Veuillez--Mainard.pdf | Groupe de Thompson A.Dequay J. Veuillez--Mainard]]

== Algèbre différentielle ==
Par Eliot Hecky(maths 2020) et Gabriel Bartlett(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Media:Algèbre_différentielle_E.Hecky_G.Bartlett.pdf | Algèbre différentielle E.Hecky G.Bartlett]]

== Applications polynomiales entre sphères ==
Par Victor Lecerf(maths 2020) et Maxime Moscatelli(maths 2020)

La question de l'existence d'application polynomiales entre sphères est loin d'être gratuite. Des outils nous permettent de traiter les cas des dimensions petites (<48) mais aucun ne nous donne de résultat général. Dans ce papiers, nous présentons certains de ces outils comme la réduction au problème de l'existence de formes de Hopf ainsi que le théorème de Hurwitz-Radon.

[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Applications_polyn_miales_de_S_n_dans_S_k_V.Lecerf_M.Moscatelli.pdf | Applications polynomiales entre sphères V.Lecerf M.Moscatelli]]

== Le Théorème de Jordan ==
Par Vincent Le Gruiec(maths 2020) et Sacha Quayle(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Le_Théorème_de_Jordan_S.Quayle_V.Le_Gruiec..pdf | Le théorème de Jordan S.Quayle V.Le Gruiec]]

== Le XVIIème problème d'Hilbert ==
Par Dounia Darkaoui(maths 2020) et Brian Flanagan(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:LeXVIIèmeproblèmed'Hilbert_D.Darkaoui_B.Flanagan.pdf | Le XVIIème problème de Hilbert D.Darkaoui B.Flanagan]]

= Analyse & probabilités =

== Principe d'incertitude et théorème de Logvinenko-Sereda ==
Par Samuel Chan-Ashing(maths 2020) et Bastien Lecluse(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Principe_d'incertitude_et_théorème_de_Logvinenko-Sereda_S.Chan-ashing_B.Lecluse.pdf | Principe d'incertitude et théorème de Logvinenko-Serada S.Chan-ashing B.Lecluse]]

== Pile ou face Collectionneur coupons ==
Par Alexandre Drewery(maths 2020) et Victor Voisin(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Pile_ou_face_Collectionneur_coupons_A.Drewery_V.Voisin.pdf | Pile ou face collectionneur coupons A.Drewery V.Voisin]]

==Opérateur a trace==
Par Alexis Guérin(maths 2020) et Yann Delaporte(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Opérateur_a_trace_Y.Delaporte_A.Guérin.pdf | Opérateur à trace Y.Delaporte A.Guérin]]

== Formule de Katz-Rice ==
Par Geoffrey Deperle(maths 2020) et Laurent Montaigu(maths 2020)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:Formule_de_Katz-Rice_G.Deperle_L.Montaigu.pdf | Formule de Kate-Rice G.Deperle L.Montaigu]]

== Introduction aux chaïnes de Markov et marche aléatoire ==
Par Jérémy Bettinger(maths 2021) & Florent Corniquel(maths 2021)

[[Fichier:Pdf.png|alt=Pdf|link=|24px]][[Média:chaines_J.Bettinger_F.Corniquel.pdf | Introduction aux chaïnes de Markov et marche aléatoire J.Bettinger F.Corniquel]]

= Autre =