AgregmathKL - Contributions de l’utilisateur [fr]

Accueil

2018-09-02T12:36:09Z

Mathias Millet :

== Bienvenue sur AgregmathKL ! ==

Vous trouverez sur ce wiki, leçon par leçon, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

= 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]]

[[Leçons de maths pour l'option informatique]]

[[Leçons par année]]

= Les Développements =

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 par thèmes | Liste des Développements]]==
== Développement et métaplans 2017 ==
* Emily Clement (Option C) : [http://perso.eleves.ens-rennes.fr/people/Emily.Clement/]
* Grégoire Clarté (Option A) : [http://perso.eleves.ens-rennes.fr/people/Gregoire.Clarte/]

== Développement et métaplans 2016 ==
* Manon Rufini (Option info) : [http://perso.eleves.ens-rennes.fr/people/Manon.Ruffini/info.htm]
== Développements 2015 ==
* Florian Lemonnier (option A) : [http://perso.eleves.ens-rennes.fr/~flemonni/agregation/agreg.html]

== Développements 2014 ==
* Maxime Pouvreau : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Développements_Maxime.pdf}}|24px]]
* Florian Le Manach : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:DéveloppementsLeManach.pdf}}|24px]]

== Développements 2013 ==
* Simon Boulier : [http://perso.eleves.ens-rennes.fr/~sboul434/agreg/agreg.html] (surtout info)

== Développements 2012 ==
* Florian Bouguet : [http://florian.bouguet.free.fr/documents.html]
* Arnaud Girand : [http://math.webgirand.eu/agreg.html#dvp]
* Ophélie Rouby : [http://perso.eleves.bretagne.ens-cachan.fr/~oroub842/agregation.html]
* Kévin Quirin : [http://kevin.quirin.free.fr/documents.html#Agr%C3%A9gation]

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

= Les Références =

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

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

= 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]]

= Divers =

== 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]]. Il y a aussi un modèle sur la [https://www.umpa.ens-lyon.fr/depmath/?rubrique4 page] de l'ENS Lyon.
* 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]]

== 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, envoyez un mail à [[Utilisateur : Mathias Millet | Mathias Millet]] en indiquant le pseudo ainsi que l'adresse mail que vous souhaitez utiliser sur le forum.

Accueil

2018-02-14T18:02:12Z

Mathias Millet :

== MESSAGE IMPORTANT ==

Le wiki a besoin d'un administrateur ! À la fois pour le wiki, et pour le serveur sur lequel le wiki est hébergé !
Toute personne qui prépare l'agrégation à Rennes peut demander à devenir administrateur du wiki (pour créer de nouveaux comptes pour ceux qui voudraient contribuer), par contre l'administrateur du serveur doit faire partie de l'ENS Rennes (chez qui le site est hébergé).

Contacter mathiasmillet@gmail.com

== Bienvenue sur AgregmathKL ! ==

Vous trouverez sur ce wiki, leçon par leçon, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

= 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]]

[[Leçons de maths pour l'option informatique]]

[[Leçons par année]]

= Les Développements =

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 par thèmes | Liste des Développements]]==
== Développement et métaplans 2017 ==
* Emily Clement (Option C) : [http://perso.eleves.ens-rennes.fr/people/Emily.Clement/]
* Grégoire Clarté (Option A) : [http://perso.eleves.ens-rennes.fr/people/Gregoire.Clarte/]

== Développement et métaplans 2016 ==
* Manon Rufini (Option info) : [http://perso.eleves.ens-rennes.fr/people/Manon.Ruffini/info.htm]
== Développements 2015 ==
* Florian Lemonnier (option A) : [http://perso.eleves.ens-rennes.fr/~flemonni/agregation/agreg.html]

== Développements 2014 ==
* Maxime Pouvreau : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Développements_Maxime.pdf}}|24px]]
* Florian Le Manach : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:DéveloppementsLeManach.pdf}}|24px]]

== Développements 2013 ==
* Simon Boulier : [http://perso.eleves.ens-rennes.fr/~sboul434/agreg/agreg.html] (surtout info)

== Développements 2012 ==
* Florian Bouguet : [http://florian.bouguet.free.fr/documents.html]
* Arnaud Girand : [http://math.webgirand.eu/agreg.html#dvp]
* Ophélie Rouby : [http://perso.eleves.bretagne.ens-cachan.fr/~oroub842/agregation.html]
* Kévin Quirin : [http://kevin.quirin.free.fr/documents.html#Agr%C3%A9gation]

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

= Les Références =

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

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

= 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]]

= Divers =

== 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]]. Il y a aussi un modèle sur la [https://www.umpa.ens-lyon.fr/depmath/?rubrique4 page] de l'ENS Lyon.
* 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]]

== 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, envoyez un mail à [[Utilisateur : Mathias Millet | Mathias Millet]] en indiquant le pseudo ainsi que l'adresse mail que vous souhaitez utiliser sur le forum.

Guide de rangement

2016-08-12T11:25:02Z

Mathias Millet :

Cette page servira à expliquer la façon dont les différentes pages et documents sont rangés.

== Importer et utiliser un fichier ==

Pour mettre un nouveau fichier sur le wiki, il faut, après s'être connecté, cliquer sur le lien ''Importer un fichier'' dans les Outils de la colonne de gauche. Merci de donner un nom permettant d'identifier facilement le fichier dans la boite ''Nom sous lequel le fichier sera enregistré''(n° de leçon, date, nom de développement, etc).

Une fois le fichier importé, pour l'utiliser dans une page, on pourra y mettre un lien de cette forme :
<code><nowiki>
[[Media:NOMDEFICHIER.pdf | DESCRIPTION ]]
</nowiki></code>

Enfin, une bonne méthode pour trouver comment faire quelque chose déjà fait sur une autre page est de cliquer sur le bouton ''modifier'', puis de copier et adapter le code de cette page.

== Les leçons ==

Chaque leçon a sa page spécifique, où se trouvent les scans des plans, et d'autres infos éventuellement utiles (si quelqu'un se sentait plein de courage, il pourrait par exemple y ajouter les commentaires du jury). On trouvera en plus une liste de développements en rapport avec la leçon, voir la section spécifique.

Les leçons sont rangées en catégories : on utilisera les tags

* ''Leçon d'algèbre''
* ''Leçon d'analyse''
* ''Leçon d'informatique''
* ''Leçon de maths pour l'option D''

Les tags sont importants, puisqu'ils permettent ensuite de générer les pages contenant la liste des leçons par thème. Si une nouvelle page de leçon est créée, il suffit de la ranger dans les bonnes catégories (i.e. d'insérer les bons tags), elle apparaîtra alors automatique dans les listes de leçon associées.
(Pour ajouter un tag, on mettra dans la page <code><nowiki>[[Category:Leçon d'informatique]]</nowiki></code> par exemple).

Pour les anciennes leçons, on pourra aussi remplacer ses tags par ''Ancienne leçon machin-chose''.

De même que les pages de leçon apparaissent automatiquement dans les listes associées, on pourra faire apparaître dans une page de leçon la liste des développement associés. Pour cela, par exemple pour la leçon 54687, on ajoutera à sa page :
<code><nowiki>
<DynamicPageList>
category = Développement de la leçon 54687
</DynamicPageList>
</nowiki></code>

Pour plus d'exemples, regarder comment sont faites différentes pages de leçon.

== Les développements ==
Bien que ce soit encore en chantier, les développements pourraient aussi avoir chacun leur page spécifique (on gagne en clarté lorsqu'un développement a beaucoup de variantes et de commentaires, on perds en simplicité lorsqu'on crée une page qui ne contient qu'un lien vers un pdf). Cela permet principalement de ranger chaque développement dans les catégories ''Développement de la leçon qui va bien'', et ainsi de faire figurer les liens vers ce développement dans la page des leçon qui vont bien.

== Chantiers en cours ==
Comme indiqué, les développements sont loin d'être à jour et ranges.

De plus, les leçons de l'année 2014-2015 n'ont pas encore été tous ajoutés.
Le moyen le plus pratique d'ajouter le scan d'une nouvelle leçon est de procéder ainsi:
* Modifier la page de la leçon, pour ajouter un lien vers le nouveau pdf (qui n'a pas encore été ajouté), en copie-collant le lien de l'année précédente et en changeant la date.
* Cliquer sur ce nouveau lien (qui sera normalement rouge), on pourra alors ajouter le pdf, qui sera bien nommé de manière automatique.

Guide de rangement

2016-08-12T11:24:31Z

Mathias Millet :

Cette page servira à expliquer la façon dont les différentes pages et documents sont rangés.

== Importer et utiliser un fichier ==

Pour mettre un nouveau fichier sur le wiki, il faut, après s'être connecté, cliquer sur le lien ''Importer un fichier'' dans les Outils de la colonne de gauche. Merci de donner un nom permettant d'identifier facilement le fichier dans la boite ''Nom sous lequel le fichier sera enregistré''(n° de leçon, date, nom de développement, etc).

Une fois le fichier importé, pour l'utiliser dans une page, on pourra utiliser un lien de cette forme :
<code><nowiki>
[[Media:NOMDEFICHIER.pdf | DESCRIPTION ]]
</nowiki></code>

Enfin, une bonne méthode pour trouver comment faire quelque chose déjà fait sur une autre page est de cliquer sur le bouton ''modifier'', puis de copier et adapter le code de cette page.

== Les leçons ==

Chaque leçon a sa page spécifique, où se trouvent les scans des plans, et d'autres infos éventuellement utiles (si quelqu'un se sentait plein de courage, il pourrait par exemple y ajouter les commentaires du jury). On trouvera en plus une liste de développements en rapport avec la leçon, voir la section spécifique.

Les leçons sont rangées en catégories : on utilisera les tags

* ''Leçon d'algèbre''
* ''Leçon d'analyse''
* ''Leçon d'informatique''
* ''Leçon de maths pour l'option D''

Les tags sont importants, puisqu'ils permettent ensuite de générer les pages contenant la liste des leçons par thème. Si une nouvelle page de leçon est créée, il suffit de la ranger dans les bonnes catégories (i.e. d'insérer les bons tags), elle apparaîtra alors automatique dans les listes de leçon associées.
(Pour ajouter un tag, on mettra dans la page <code><nowiki>[[Category:Leçon d'informatique]]</nowiki></code> par exemple).

Pour les anciennes leçons, on pourra aussi remplacer ses tags par ''Ancienne leçon machin-chose''.

De même que les pages de leçon apparaissent automatiquement dans les listes associées, on pourra faire apparaître dans une page de leçon la liste des développement associés. Pour cela, par exemple pour la leçon 54687, on ajoutera à sa page :
<code><nowiki>
<DynamicPageList>
category = Développement de la leçon 54687
</DynamicPageList>
</nowiki></code>

Pour plus d'exemples, regarder comment sont faites différentes pages de leçon.

== Les développements ==
Bien que ce soit encore en chantier, les développements pourraient aussi avoir chacun leur page spécifique (on gagne en clarté lorsqu'un développement a beaucoup de variantes et de commentaires, on perds en simplicité lorsqu'on crée une page qui ne contient qu'un lien vers un pdf). Cela permet principalement de ranger chaque développement dans les catégories ''Développement de la leçon qui va bien'', et ainsi de faire figurer les liens vers ce développement dans la page des leçon qui vont bien.

== Chantiers en cours ==
Comme indiqué, les développements sont loin d'être à jour et ranges.

De plus, les leçons de l'année 2014-2015 n'ont pas encore été tous ajoutés.
Le moyen le plus pratique d'ajouter le scan d'une nouvelle leçon est de procéder ainsi:
* Modifier la page de la leçon, pour ajouter un lien vers le nouveau pdf (qui n'a pas encore été ajouté), en copie-collant le lien de l'année précédente et en changeant la date.
* Cliquer sur ce nouveau lien (qui sera normalement rouge), on pourra alors ajouter le pdf, qui sera bien nommé de manière automatique.

157 -- Endomorphismes trigonalisables. Endomorphismes nilpotents.

2016-06-16T13:37:34Z

Mathias Millet :

== Plans ==

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

Plan détaillé de l'année 2013-2014 (mémoire) : [[Fichier:Pdf.png|alt=Pdf|link=Media:memoire157-2013.pdf|24px]] [[Fichier:Tex.png|alt=Tex|link=Media:memoire157-2013.tex}}|24px]]

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

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

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

= Autre plan =

Structure :

== Premières définitions, premières propriétés ==

1)Endomorphismes nilpotents [Gri]

Définition et représentation en matrice triangulaire à diagonale nulle. Caractérisation par les traces des puissances successives. Exemples

2)Polynômes caractéristique et minimal [Gou]

Définitions, exemple des endomorphismes nilpotents.
Définition et caractérisation de la trigonalisation.

== Éléments propres, sous-espaces stables et commutation ==

1)Valeurs propres, vecteurs propres [Gou]

Définitions des deux notions, exemples simples. Cas des matrices triangulaires et des matrices nilpotentes, Cayley-Hamilton.

2)Sous-espaces stables, propres, caractéristiques [Tau]

Définitions, exemples pour illustrer les différences.

3)Commutation et réductions [Tau], [Gou] et [O-A]

Lemme des noyaux. Co-trigonalisation d'une famille d'endomorphismes commutant deux à deux.
Décomposition de Dunford, application au calcul d'exponentielles de matrices.
Un endomorphisme est diagonalisable si et seulement si son exponentielle l'est. Et antécédents de l'identité par exponentielle.

== Réductions de type trigonalisation ==

1)Trigonalisation par blocs [Gri]

(a)Trigonalisation suivant les sous-espaces caractéristiques (blocs triangulaires) et application au calcul de puissances de matrices.
(b)Représentation canonique des transformations orthogonales ([Gri] p.303).

2)Réduction de Jordan [Gri] ou [Tau] ou [Gou]

Cas des endomorphismes nilpotents et cas général

3)Décomposition de Bruhat [XE1]

----

Bien sûr, il ne faut pas oublier les motivations : la recherche d'une matrice semblable ayant un maximum de zéros ou au moins une forme particulièrement adaptée à tel ou tel calcul (déterminant, puissance, exponentielle...). Ceci peut être précisé à l'oral, justement.

Les développements proposés sont la décomposition de Dunford ('''avec''' le fait que les endomorphismes n et d sont des polynômes en l'endomorphisme initial, par le lemme Chinois : cf. [O-A]), et celle de Bruhat, qui amène à parler éventuellement lors des questions des actions de groupes sur les drapeaux.

----
Références :
[Gri] Grifone, Algèbre linéaire
[Tau] Tauvel, Cours d'algèbre
[XE1] Oraux X-ENS, Algèbre 1
[Gou] Gourdon, Algèbre
[O-A] Objectif agrégation

== Rapport du jury ==

Il est possible de mener une leçon de bon niveau, même sans la décomposition de Jordan à l’aide des noyaux itérés.

[[Category:leçon d'algèbre]]
[[Category:Leçon de maths pour l'option D]]

910 -- Langages algébriques. Exemples et applications.

2015-11-16T12:07:02Z

Mathias Millet : /* Plans scannés */

Algorithme de Hopcroft

2015-11-12T16:32:21Z

Mathias Millet :

[[Media: Hopcroft.pdf | Correction et Terminaison de Hopcroft ]]

[[Media: Hopcroft.tex | Correction et Terminaison de Hopcroft (fichier .tex) ]]

[[Category : Développement de la leçon 909]]

[[Category : Développement de la leçon 902]]

Algorithme de Hopcroft

2015-10-06T13:52:19Z

Mathias Millet : Page créée avec « Correction et Terminaison de Hopcroft Correction et Terminaison de Hopcroft (fichier .tex) »

[[Media: Hopcroft.pdf | Correction et Terminaison de Hopcroft ]]

[[Media: Hopcroft.tex | Correction et Terminaison de Hopcroft (fichier .tex) ]]

Fichier:Ascoli faible.pdf

2015-06-03T12:52:04Z

Mathias Millet : Mathias Millet a téléchargé une nouvelle version de Fichier:Ascoli faible.pdf

Fichier:Ascoli faible.pdf

2015-06-03T12:51:31Z

Mathias Millet :

Théorème d'Ascoli

2015-06-03T12:50:43Z

Mathias Millet :

On prouve dans ce développement le théorème d'Ascoli. Le document contient aussi une preuve de l'équivalence entre équicontinuité et uniforme équicontinuité lorsque l'espace de départ est compact.

La preuve est extraite du poly d'introduction à la Topologie de Francis Nier.

Recasage :

* [[201 -- Espaces de fonctions : exemples et applications.]]
* [[203 -- Utilisation de la notion de compacité.]]

Version générale.
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ascoli.pdf | Théorème d'Ascoli]]
* [[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Ascoli.tex | Théorème d'Ascoli]]

Version plus faible
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ascoli_faible.pdf | Théorème d'Ascoli]]

[[Category: Développement de la leçon 201]]
[[Category: Développement de la leçon 203]]

Fichier:Approx np complets.pdf

2015-05-26T11:08:01Z

Mathias Millet :

Approximations de problèmes NP-complets

2015-05-26T11:07:52Z

Mathias Millet : Page créée avec « Approximation de PVC dans le cas euclidien et réduction à HAM-Path dans le cas général : *24px Média:approx_np_complets.pdf | Appr... »

Approximation de PVC dans le cas euclidien et réduction à HAM-Path dans le cas général :
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:approx_np_complets.pdf | Approximations de problèmes NP-complets]]

Développements par thèmes

2015-05-26T11:06:16Z

Mathias Millet : /* Complexité */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]
* [[Transformée de Fourier rapide]]
* [[Algorithme de Hopcroft]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]
* [[Approximations de problèmes NP-complets]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Arithmétique de Presburger]]
* [[Une fonction calculable est récursive]]
* [[Indécidabilité de la terminaison d'un système de réécriture]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]
* [[Algorithme CYK]]
* [[Algorithme de Hopcroft]]
* [[Théorème de Parikh]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]
* [[Ordre de simplification / Lemme de Highman / Théorème de Kruskal]]

Arithmétique de Presburger

2015-04-14T19:16:34Z

Mathias Millet :

* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link={{filepath:Presburger.tex}}|24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath:Presburger.pdf}} |24px]])

[[Média:Presburger.tex | Fichier TeX de la démo du Théorème de Presburger]]

[[Média:Presburger.pdf | Fichier Pdf de la démo du Théorème de Presburger]]

# Référence : [Carton]

# Remarque :
#* bien comprendre les mots de <math> \Sigma_k^* </math> et la bijection entre k-uplet d'entier et ces mots de <math> \Sigma_k^* </math>
#* bien comprendre l'automate de <math> x_i+x_j=x_l </math> et donner un exemple est pédagogiquement bon.

[[Category : Développement de la leçon 909]]
[[Category : Développement de la leçon 914]]

Arithmétique de Presburger

2015-04-14T19:15:57Z

Mathias Millet :

Développements par thèmes

2015-04-14T19:14:55Z

Mathias Millet : /* Décidabilité & Calculabilité */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]
* [[Transformée de Fourier rapide]]
* [[Algorithme de Hopcroft]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Arithmétique de Presburger]]
* [[Une fonction calculable est récursive]]
* [[Indécidabilité de la terminaison d'un système de réécriture]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]
* [[Algorithme CYK]]
* [[Algorithme de Hopcroft]]
* [[Théorème de Parikh]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]
* [[Ordre de simplification / Lemme de Highman / Théorème de Kruskal]]

Arithmétique de Presburger

2015-04-14T19:14:15Z

Mathias Millet :

Catégorie:Développement de la leçon 103

2015-03-31T11:12:13Z

Mathias Millet : Page redirigée vers 103 -- Exemples et applications des notions de sous-groupe distingué et de groupe quotient.

#REDIRECT [[103 -- Exemples et applications des notions de sous-groupe distingué et de groupe quotient.]]

Catégorie:Développement de la leçon 102

2015-03-31T11:11:43Z

Mathias Millet : Page redirigée vers 102 -- Groupe des nombres complexes de module 1. Sous-groupes des racines de l'unité. Applications.

#REDIRECT [[102 -- Groupe des nombres complexes de module 1. Sous-groupes des racines de l'unité. Applications.]]

Catégorie:Développement de la leçon 101

2015-03-31T11:11:26Z

Mathias Millet : Page redirigée vers 101 -- Groupe opérant sur un ensemble. Exemples et applications.

#REDIRECT [[101 -- Groupe opérant sur un ensemble. Exemples et applications.]]

Catégorie:Développement de la leçon 906

2015-03-31T11:08:29Z

Mathias Millet : Page redirigée vers 906 -- Programmation dynamique : exemples et applications.

#REDIRECT [[906 -- Programmation dynamique : exemples et applications.]]

Accueil

2015-03-31T11:04:45Z

Mathias Millet : /* Les Développements */

== Bienvenue sur AgregmathKL ! ==

Vous trouverez sur ce wiki, leçon par leçon, des résultats que vous pouvez y mettre, des propositions de développement ainsi que les références bibliographiques utiles.

= 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]]

[[Leçons de maths pour l'option informatique]]

[[Leçons par année]]

= Les Développements =

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 par thèmes | Liste des Développements]]==

== Développements 2014 ==
* Maxime Pouvreau : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Développements_Maxime.pdf}}|24px]]
* Florian Le Manach : [[Fichier:Pdf.png|alt=Pdf|link={{filepath:DéveloppementsLeManach.pdf}}|24px]]

== Développements 2013 ==
* Simon Boulier : [http://perso.eleves.ens-rennes.fr/~sboul434/agreg/agreg.html] (surtout info)

== Développements 2012 ==
* Arnaud Girand : [http://perso.univ-rennes1.fr/arnaud.girand/agreg.html#dvp]
* Ophélie Rouby : [http://perso.eleves.bretagne.ens-cachan.fr/~oroub842/agregation.html]
* Kévin Quirin : [http://kevin.quirin.free.fr/documents.html#Agr%C3%A9gation]

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

= Les Références =

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

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

= 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]]

= Divers =

== 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]]. Il y a aussi un modèle sur la [https://www.umpa.ens-lyon.fr/depmath/?rubrique4 page] de l'ENS Lyon.
* 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]]

== 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, envoyez un mail à [[Utilisateur : Mathias Millet | Mathias Millet]] en indiquant le pseudo ainsi que l'adresse mail que vous souhaitez utiliser sur le forum.

Développements par thèmes

2015-03-27T12:13:15Z

Mathias Millet : /* Langages formels */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]
* [[Transformée de Fourier rapide]]
* [[Algorithme de Hopcroft]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Décidabilité de l'arithmétique de Presburger]]
* [[Une fonction calculable est récursive]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]
* [[Algorithme CYK]]
* [[Algorithme de Hopcroft]]
* [[Théorème de Parikh]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Développements par thèmes

2015-03-27T12:09:39Z

Mathias Millet : /* Langages formels */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]
* [[Transformée de Fourier rapide]]
* [[Algorithme de Hopcroft]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Décidabilité de l'arithmétique de Presburger]]
* [[Une fonction calculable est récursive]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]
* [[Algorithme CYK]]
* [[Algorithme de Hopcroft]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Développements par thèmes

2015-03-27T12:09:11Z

Mathias Millet : /* Algorithmique et structures de données */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]
* [[Transformée de Fourier rapide]]
* [[Algorithme de Hopcroft]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Décidabilité de l'arithmétique de Presburger]]
* [[Une fonction calculable est récursive]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]
* [[Algorithme CYK]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Développements par thèmes

2015-03-27T12:08:01Z

Mathias Millet : /* Algorithmique et structures de données */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]
* [[Transformée de Fourier rapide]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Décidabilité de l'arithmétique de Presburger]]
* [[Une fonction calculable est récursive]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]
* [[Algorithme CYK]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Développements par thèmes

2015-03-27T12:07:37Z

Mathias Millet : /* Décidabilité & Calculabilité */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Décidabilité de l'arithmétique de Presburger]]
* [[Une fonction calculable est récursive]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]
* [[Algorithme CYK]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Développements par thèmes

2015-03-27T12:07:06Z

Mathias Millet : /* Langages formels */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Une fonction calculable est récursive]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]
* [[Algorithme CYK]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Développements par thèmes

2015-03-27T12:06:35Z

Mathias Millet : /* Logique */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Une fonction calculable est récursive]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]

=== Logique ===
* [[Compacité du calcul propositionnel]]
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Développements par thèmes

2015-03-27T12:06:08Z

Mathias Millet : /* Informatique */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité & Calculabilité ===
* [[Théorème de Rice]]
* [[Une fonction calculable est récursive]]

=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]

=== Logique ===
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Développements par thèmes

2015-03-27T11:52:38Z

Mathias Millet : /* Complexité */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]

=== Décidabilité ===
* [[Théorème de Rice]]
=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]

=== Logique ===
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Problème de séparation par automate

2015-03-27T11:52:19Z

Mathias Millet :

On montre que le problème de séparatation de langages par automate (PSA) est NP-Complet.

== PSA est NP-complet ==
*[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:PSA est NPcomplet.pdf|PSA est NP-complet]]
*[[Fichier:tex.png|alt=Pdf|link=|24px]] [[Média:PSA est NPcomplet.tex|PSA est NP-complet]]

== Version de Kévin 2012 ==
Séparons les langages

*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_psa.tex | Problème de séparation par automate]]
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_psa.pdf | Problème de séparation par automate]]

Recasements :
* [[908 -- Automates Finis, exemples et applications]]
* [[909 -- Langages rationnels. Exemples et applications.]]
* [[915 -- Classes de complexité : exemples.]]

[[Category: Développement de la leçon 908]]
[[Category: Développement de la leçon 909]]
[[Category: Développement de la leçon 915]]
[[Category: Développement de la leçon 928]]

Développements par thèmes

2015-03-27T11:46:22Z

Mathias Millet : /* Complexité */

Cette page liste tous les développements présents sur le site, triés par thèmes. Les doublons sont autorisés et même conseillés dans la mesure où la plupart des théorèmes sont à cheval entre plusieurs domaines.

Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.

(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).

Si vous préférez vous pouvez toujours vous dépêtrer avec le fouillis de la permière version de cette page : [[Développements]].

= Algèbre =

=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Algorithme des facteurs invariants]]
* [[Commutant d'un endomorphisme]]
* [[Lemme de Morse ]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* [[Nombre de matrices diagonalisables sur Fq]]
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Points extrémaux de la boule unité de L(E) ]]
* [[Réduction des matrices normales]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Dieudonné]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Molien]]
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
* [[Une méthode itérative de résolution de systèmes linéaires]]

=== Anneaux, arithmétique, dénombrement ===
* [[Algorithme des facteurs invariants]]
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Équation de Fermat pour n=3]]
* [[Groupes d'ordre pq]]
* [[Nombres de Bell]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Partitions d'un entier en parts fixées]]
* [[Primalité des nombres de Mersenne]]
* [[Probabilité que deux entiers soient premiers entre eux]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* [[Une version faible du théorème de Dirichlet]]

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Classification des groupes de pavage du plan]]
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* [[Ellipse de Steiner]]
* [[Groupe circulaire]]
* [[Inégalité isopérimétrique]]
* [[Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Points extrémaux de la boule unité de L(E)]]
* [[Simplicité de SO(3)]]
* [[Sous-groupes finis de SO(3)]]
* [[Théorème de Caratheodory]]
* [[Théorème de Cartan-Dieudonné]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Jordan]]
* [[Théorème de Krein-Milman]]
* [[Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* [[Irréductibilité des polynômes cyclotomiques]]
* [[Loi de réciprocité quadratique]]
* [[Polynômes irréductibles sur Fq]]
* [[Primalité des nombres de Mersenne]]
* [[Théorème de Chevalley-Warning]]
* [[Théorème de d'Alembert-Gauss]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* [[Théorème de l'élément primitif]]
* [[Théorème de Wedderburn]]

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* [[Automorphismes de ZnZ]]
* [[Décomposition de Bruhat]]
* [[Groupes d'ordre 12]]
* [[Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Loi de réciprocité quadratique]]
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* [[Tables de caractères]]
* [[Théorème de Burnside]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Frobenius sur les représentations]]
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Lie-Kolchin]]
* [[Théorème de Molien]]
* [[Théorème de Sylow]]

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* [[Densité des polynômes orthogonaux]]
* [[Dérivée des fonctions lipschitziennes]]
* [[Formule d'inversion de Fourier]]
* [[Projection dans un espace de Hilbert]]
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* [[Théorème d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* [[Théorème de Benedicks]]
* [[Théorème de Cartan-Von Neumann]]
* [[Théorème de Fejér]]
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hahn-Banach]]
* [[Théorème de Helly]]
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
* [[Un espace de Sobolev]]

=== Analyse numérique, méthodes d'approximation ===
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* [[Surjectivité de l'exponentielle matricielle]]
* [[Théorème d'inversion locale]]
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
* [[Théorème de Cauchy-Lipschitz]]
* [[Théorème de Hadamard-Lévy]]
* [[Théorème de stabilité de Lyapounov]]

=== Intégration ===
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
* [[Intégrale de Fresnel]]
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
* [[Etude de la loi Gamma]]
* [[Marche aléatoire sur Z]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
* [[Théorème de Weierstrass via les probabilités]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]

=== Topologie ===
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* [[Ellipsoïde de John-Lœwner]]
* [[Lemme de Morse]]
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Théorème d'Ascoli]]
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
* [[Théorème de Fejér]]
* [[Théorème de Jordan]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
* [[Théorème de Müntz]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])

= Informatique =
=== Algorithmique et structures de données ===
* [[2SAT est décidable en temps linéaire]]
* [[Arbres binaires de recherche optimaux]]
* [[Automate des occurrences]]
* [[Hachage parfait]]
* [[Plus longue sous-séquence commune]]
* [[Algorithme d'unification]]
* [[Tri polyphasé]]

=== Complexité ===
* [[2SAT est décidable en temps linéaire]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Théorème de Cook]]
* [[PSA est NP-complet]]

=== Décidabilité ===
* [[Théorème de Rice]]
=== Langages formels ===
* [[Automate des occurrences]]
* [[Arithmétique de Presburger]]
* [[Langage de pile d'un automate à pile]]
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
* [[Analyse LR(0)]]

=== Logique ===
* [[Arithmétique de Presburger]]
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]
* [[Théorème de Lowenheim-Skolem]]

=== Réécriture ===
* [[Théorème de Higman]]
* [[Algorithme d'unification]]

Leçons d'informatique

2015-03-26T16:21:08Z

Mathias Millet :

<DynamicPageList>
category = Leçon d'informatique
namespace = main
ordermethod = sortkey
order = ascending
</DynamicPageList>

= Anciennes leçons =

<DynamicPageList>
category = Anciennes leçons d'informatique
namespace = main
ordermethod = sortkey
order = ascending
</DynamicPageList>

Fichier:928 2013-2014.pdf

2015-03-26T16:18:19Z

Mathias Millet :

Fichier:909 2013-2014 bis.pdf

2015-03-26T16:17:12Z

Mathias Millet :

Fichier:909 2013-2014.pdf

2015-03-26T16:17:06Z

Mathias Millet :

909 -- Langages rationnels. Exemples et applications.

2015-03-26T16:16:57Z

Mathias Millet :

= Plans scannés =
* 2012-2013 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:909_2012-2013.pdf|909 Langages rationnels. Exemples et applications.]]
* 2013-2014 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:909_2013-2014.pdf|909 Langages rationnels. Exemples et applications.]] [[Média:909_2013-2014_bis.pdf|909 Plan bis]]
* 2014-2015 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:909_2014-2015.pdf|909 Langages rationnels. Exemples et applications.]]

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

= Plan de Kévin et Basile (2012) =

== Le Plan ==

=== I) Expressions Rationnelles ===
# Définitions
#* Par induction
#* Par récurrence et hauteur
# Sémantique
#* Interprétation
#* Exemples
#* Hauteur d'étoile (généralisé ... bof)
#* Langage de hauteur d'étoile <math>n</math>
# Équations
#* Lemme d'ARDEN
#* Pivot de GAUSS
# Réduction des expressions rationnelles
#* Décidabilité de l'équivalence
#* Exemple
#* Le problème d'universalité est PSPACE-Complet (DEV)
# Ordre sous-mot
#* Définition, de l'ordre, des antichaînes (ensemble d'éléments incomparables deux à deux )
#* Théorème de Higman et ses corollaires ( les sous-mots et les sur-mots d'un langage sont rationnels )

=== II) Caractérisations ===
# Théorème de Kleene
#* Dérivées d'Antimirov et résolutions d'équations par le lemme d'Arden
# Lemme de l'étoile [Carton p. 54]
#* version par bloc
#* Théorème (EPR) : Caractérisation par le lemme de l'étoile par blocs appliqué au langage et à son complémentaire.
# Grammaire régulières
#* Caractérisation par les langages de grammaires linéaires gauches.
# Automate à Pile
#* Définition langage de Dyck et langage de Pile
#* Le langage de Pile d'un automate à pile est reconnaissable (DEV)
# Reconnaissance par monoïde
#* Définition
#* Théorème de caractérisation : reconnaissance par monoïde fini.
#* Exemple
#* Propriétés de stabilité par morphismes
# Théorème de Myhill-Nérode [Carton p. 45]
#* Définition résiduels
#* Exemples
#* Caractérisation par finitude du nombre de résiduels
=== III) Cas d'un monoïde quelconque [Carton p. 72] ===
# Définitions : Reconnaissance par monoïde fini, Rationalité...
# Version faible du théorème de Kleene.
#* Exemples et contre-exemples
=== IV) Applications ===
# Analyse Lexicale.
#* Expressions régulières
#* Exemples de commandes...
#* Application à la compilation

== Développements possibles ==
# [[Universalité d'un langage rationnel | Le problème d'universalité d'un langage rationnel est PSPACE-dur]]
#* Le caractère PSPACE est admis pour des raisons de temps.
# Langage de Pile d'un Automate à Pile ([[Média:Dvt_langage_de_pile.tex | Source .tex]] ; [[Média:Dvt_langage_de_pile.pdf | .pdf]])

# Caractérisation de la rationalité par le lemme de l'étoile par blocs (immonde)
# [[Théorème de Higman]] et corollaires :
#* Il n'existe pas d'antichaîne infinie pour l'ordre lexicographique sur le monoïde libre d'un alphabet fini.
#* Les surmots et sousmots pour l'ordre lexicographique d'un langage quelconque sont rationnels.
# (Presburger)
# (Séparation par automate)
#* Montré indécidable par réduction à 3-SAT

== Références ==
Carton... "C'est mal de ne pas mettre quelque chose qui est dans le Carton, c'est mal de mettre quelque chose qui n'est pas dans le Carton." (D. Cachera)

[[Category:Leçon d'informatique]]

Fichier:913 2013-2014.pdf

2015-03-26T16:16:26Z

Mathias Millet :

Fichier:916 2013-2014.pdf

2015-03-26T16:16:19Z

Mathias Millet :

Fichier:917 2013-2014.pdf

2015-03-26T16:16:13Z

Mathias Millet :

Fichier:924 2013-2014.pdf

2015-03-26T16:16:07Z

Mathias Millet :

Fichier:925 2013-2014.pdf

2015-03-26T16:16:01Z

Mathias Millet :

Fichier:926 2013-2014.pdf

2015-03-26T16:15:54Z

Mathias Millet :

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

2015-03-26T16:15:46Z

Mathias Millet :

== Plans scannés ==

*2012-2013 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:926_2012-2013.pdf|926 Analyse des algorithmes : complexité. Exemples.]]
*2013-2014 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:926_2013-2014.pdf|926 Analyse des algorithmes : complexité. Exemples.]]

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

[[Category:Leçon d'informatique]]

925 -- Graphes : représentations et algorithmes.

2015-03-26T16:15:35Z

Mathias Millet :

== Plans scannés ==

*2012-2013 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:925_2012-2013.pdf|925 Graphes : représentations et algorithmes.]]
*2013-2014 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:925_2013-2014.pdf|925 Graphes : représentations et algorithmes.]]

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

[[Category:Leçon d'informatique]]

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

2015-03-26T16:15:22Z

Mathias Millet :

== Plans scannés ==

*2012-2013 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:924_2012-2013.pdf|924 Théories et modèles en logique du premier ordre. Exemples.]]
*2013-2014 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:924_2013-2014.pdf|924 Théories et modèles en logique du premier ordre. Exemples.]]

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

[[Category:Leçon d'informatique]]

917 -- Logique du premier ordre : syntaxe et sémantique.

2015-03-26T16:15:10Z

Mathias Millet :

== Plans scannés ==

*2012-2013 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:917_2012-2013.pdf|917 Logique du premier ordre : syntaxe et sémantique.]]
*2013-2014 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:917_2013-2014.pdf|917 Logique du premier ordre : syntaxe et sémantique.]]

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

[[Category:Leçon d'informatique]]

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

2015-03-26T16:14:56Z

Mathias Millet :

== Plans scannés ==

*2012-2013 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:916_2012-2013.pdf|916 Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.]]
*2013-2014 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:916_2013-2014.pdf|916 Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.]]
*2014-2015 [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:916_2014-2015.pdf|916 Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.]]

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

[[Category:Leçon d'informatique]]