AgregmathKL - Contributions de l’utilisateur [fr]

Fichier:Galton-Watson.tex

2015-01-08T10:39:20Z

Salim Rostam : Salim Rostam a téléchargé une nouvelle version de Fichier:Galton-Watson.tex

Fichier:Galton-Watson.pdf

2015-01-05T11:56:27Z

Salim Rostam : Salim Rostam a téléchargé une nouvelle version de Fichier:Galton-Watson.pdf

Développements par thèmes

2014-12-23T08:40:20Z

Salim Rostam : /* Probabilités */

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é]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Commutant d'un endomorphisme ([[Fichier:Tex.png|alt=Tex|link=Média:Commutant.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Commutant.pdf |24px]])
* [[Lemme_de_Morse ]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Diag_Young.pdf | Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Hankel.pdf | Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Orthodiagonalisation des endomorphismes auto-adjoints ([[Fichier:Tex.png|alt=Tex|link=Média:Orthodiag.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Orthodiag.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Réduction des matrices normales ([[Fichier:Tex.png|alt=Tex|link=Média:Matrices_normales.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Matrices_normales.pdf |24px]])
* [[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é ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Anneaux, arithmétique, dénombrement ===
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Fermat_n=3.pdf | Équation de Fermat pour <math>n=3</math>]]
* Groupes d'ordre pq ([[Fichier:Tex.png|alt=Tex|link=Média:groupes_ordre_pq.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:groupes_ordre_pq.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Bell.pdf | Nombres de Bell]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* [[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]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:R-T.pdf | Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* Une version faible du théorème de Dirichlet ([[Fichier:Tex.png|alt=Tex|link=Média:Dirichlet_faible.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Dirichlet_faible.pdf |24px]])

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Autour de l'ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Autour_ellipse_de_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Autour_ellipse_de_Steiner.pdf |24px]])
* [[Classification des groupes de pavage du plan]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* Ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_Steiner.pdf |24px]])
* Ellipse de Steiner et aire d'un polygone ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_de_Steiner_aire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_de_Steiner_aire.pdf |24px]])
* Groupe circulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_circulaire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Groupe_circulaire.pdf |24px]])
* [[Inégalité isopérimétrique]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes finis de SO(3)]]
* Théorème de Caratheodory ([[Fichier:Tex.png|alt=Tex|link=Média:Caratheodory.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Caratheodory.pdf |24px]])
* Théorème de Cartan-Dieudonné ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Krein_milman.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Krein_milman.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Sommets.pdf | Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* Irréductibilité des polynômes cyclotomiques ([[Fichier:Pdf.png|alt=Tex|link=Média: Cyclo.pdf |24px]])
* [[Loi de réciprocité quadratique]]
* Polynômes irréductibles sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:DenombrementpolyirreFq.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: DenombrementpolyirreFq.pdf |24px]])
* [[Primalité des nombres de Mersenne]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:C-W.pdf | Théorème de Chevalley-Warning]]
* Théorème de d'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* Théorème de l'élément primitif ([[Fichier:Tex.png|alt=Tex|link=Média:Element_primitif.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Element_primitif.pdf |24px]])
* Théorème de Wedderburn ([[Fichier:Pdf.png|alt=Tex|link=Média: Wedderburn.pdf |24px]])

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Décomposition de Bruhat]]
* Groupes d'ordre 12 ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_d_ordre_douze.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Groupe_d_ordre_douze.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Récip_quad.pdf | Loi de réciprocité quadratique]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Simplicité de <math>\mathfrak{A}_n</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_An.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Simplicité.pdf |24px]])
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* Table de caractères de <math>\mathfrak{A}_5</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_a5.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_a5.pdf |24px]])
* Table de caractères de <math>\mathfrak{S}_4</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_s4.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_s4.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Dn.pdf | Table de caractères du groupe diédral]]
* [[Théorème de Burnside]]
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* Théorème de Frobenius sur les représentations ([[Fichier:Tex.png|alt=Tex|link=Média:Théorème_de_Frobenius.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Théorème_de_Frobenius.pdf |24px]])
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* Théorème de Lie-Kolchin ([[Fichier:Tex.png|alt=Tex|link=Média:Lie-Kolchin.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Lie-Kolchin.pdf |24px]])
* [[Théorème de Molien]]
* Théorème de Sylow ([[Fichier:Tex.png|alt=Tex|link=Média:Sylow.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Sylow.pdf |24px]])

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Dérivée des fonctions lipschitziennes ([[Fichier:Tex.png|alt=Tex|link=Média:Fonctions_lipschitziennes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Fonctions_lipschitziennes.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Projection dans un espace de Hilbert ([[Fichier:Tex.png|alt=Tex|link=Média: proj_hilbert.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: proj_hilbert.pdf |24px]])
* Réduction des opérateurs compacts symétriques dans un Hibert ([[Fichier:Tex.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.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 d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* [[Théorème de Fejér]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Riesz-fischer.pdf | Théorème de Fischer - Riesz]]
* [[Théorème de Hahn-Banach]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Helly.pdf | Théorème de Helly]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | 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=Média:Gradient_optimal.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Gradient_optimal.pdf |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link=Média:Série_harmonique.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Série_harmonique.pdf |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Couronnes biholomorphes.pdf |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Equation_de_Bessel.pdf |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Formule_complements.pdf |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link=Média:Borel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Borel.pdf |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média:Extrema_liés_ssvar.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Extrema_liés_ssvar.pdf |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Étude_asymptotique_suite_polynômes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:É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=Média:Cauchy_arzela_peano.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média: Critere_Weyl.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Critere_Weyl.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link=Média:ProlongementGamma.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:ProlongementGamma.pdf |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Abel_angulaire.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Abel_angulaire.pdf |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link=Média: Tauberien_fort.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: 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=Média:Calcul_integrale.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Calcul_integrale.pdf |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link=Média: va_gaussiennes.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: va_gaussiennes.pdf |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link=Média:Devdyadique.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média: Galton-Watson.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Galton-Watson.pdf |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link=Média: Ruinedujoueur.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Ruine.pdf |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Séries_entières_avec_coupure_ps.pdf |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link=Média: TCL.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: 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=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: Brouwer.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Brouwer.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link=Média:Weierstrass.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Weierstrass.pdf |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link=Média:Glaeser.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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]]
=== 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 ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* Langage de pile d'un automate à pile ([[Fichier:Tex.png|alt=Tex|link=Média:Dvt_langage_de_pile.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Dvt_langage_de_pile.pdf |24px]])
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
=== Logique ===
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]

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

Développements par thèmes

2014-12-23T08:39:44Z

Salim Rostam : /* Probabilités */

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é]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Commutant d'un endomorphisme ([[Fichier:Tex.png|alt=Tex|link=Média:Commutant.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Commutant.pdf |24px]])
* [[Lemme_de_Morse ]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Diag_Young.pdf | Diagrammes de Young et réduction de Jordan]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Hankel.pdf | Formes de Hankel]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Orthodiagonalisation des endomorphismes auto-adjoints ([[Fichier:Tex.png|alt=Tex|link=Média:Orthodiag.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Orthodiag.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Réduction des matrices normales ([[Fichier:Tex.png|alt=Tex|link=Média:Matrices_normales.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Matrices_normales.pdf |24px]])
* [[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é ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Anneaux, arithmétique, dénombrement ===
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Fermat_n=3.pdf | Équation de Fermat pour <math>n=3</math>]]
* Groupes d'ordre pq ([[Fichier:Tex.png|alt=Tex|link=Média:groupes_ordre_pq.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:groupes_ordre_pq.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Bell.pdf | Nombres de Bell]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* [[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]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:R-T.pdf | Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* Une version faible du théorème de Dirichlet ([[Fichier:Tex.png|alt=Tex|link=Média:Dirichlet_faible.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Dirichlet_faible.pdf |24px]])

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Autour de l'ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Autour_ellipse_de_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Autour_ellipse_de_Steiner.pdf |24px]])
* [[Classification des groupes de pavage du plan]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* Ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_Steiner.pdf |24px]])
* Ellipse de Steiner et aire d'un polygone ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_de_Steiner_aire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_de_Steiner_aire.pdf |24px]])
* Groupe circulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_circulaire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Groupe_circulaire.pdf |24px]])
* [[Inégalité isopérimétrique]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes finis de SO(3)]]
* Théorème de Caratheodory ([[Fichier:Tex.png|alt=Tex|link=Média:Caratheodory.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Caratheodory.pdf |24px]])
* Théorème de Cartan-Dieudonné ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Krein_milman.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Krein_milman.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Sommets.pdf | Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* Irréductibilité des polynômes cyclotomiques ([[Fichier:Pdf.png|alt=Tex|link=Média: Cyclo.pdf |24px]])
* [[Loi de réciprocité quadratique]]
* Polynômes irréductibles sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:DenombrementpolyirreFq.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: DenombrementpolyirreFq.pdf |24px]])
* [[Primalité des nombres de Mersenne]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:C-W.pdf | Théorème de Chevalley-Warning]]
* Théorème de d'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* Théorème de l'élément primitif ([[Fichier:Tex.png|alt=Tex|link=Média:Element_primitif.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Element_primitif.pdf |24px]])
* Théorème de Wedderburn ([[Fichier:Pdf.png|alt=Tex|link=Média: Wedderburn.pdf |24px]])

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Décomposition de Bruhat]]
* Groupes d'ordre 12 ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_d_ordre_douze.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Groupe_d_ordre_douze.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Récip_quad.pdf | Loi de réciprocité quadratique]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Simplicité de <math>\mathfrak{A}_n</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_An.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Simplicité.pdf |24px]])
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* Table de caractères de <math>\mathfrak{A}_5</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_a5.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_a5.pdf |24px]])
* Table de caractères de <math>\mathfrak{S}_4</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_s4.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_s4.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Dn.pdf | Table de caractères du groupe diédral]]
* [[Théorème de Burnside]]
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* Théorème de Frobenius sur les représentations ([[Fichier:Tex.png|alt=Tex|link=Média:Théorème_de_Frobenius.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Théorème_de_Frobenius.pdf |24px]])
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* Théorème de Lie-Kolchin ([[Fichier:Tex.png|alt=Tex|link=Média:Lie-Kolchin.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Lie-Kolchin.pdf |24px]])
* [[Théorème de Molien]]
* Théorème de Sylow ([[Fichier:Tex.png|alt=Tex|link=Média:Sylow.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Sylow.pdf |24px]])

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Dérivée des fonctions lipschitziennes ([[Fichier:Tex.png|alt=Tex|link=Média:Fonctions_lipschitziennes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Fonctions_lipschitziennes.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Projection dans un espace de Hilbert ([[Fichier:Tex.png|alt=Tex|link=Média: proj_hilbert.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: proj_hilbert.pdf |24px]])
* Réduction des opérateurs compacts symétriques dans un Hibert ([[Fichier:Tex.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.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 d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* [[Théorème de Fejér]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Riesz-fischer.pdf | Théorème de Fischer - Riesz]]
* [[Théorème de Hahn-Banach]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Helly.pdf | Théorème de Helly]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | 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=Média:Gradient_optimal.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Gradient_optimal.pdf |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link=Média:Série_harmonique.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Série_harmonique.pdf |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Couronnes biholomorphes.pdf |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Equation_de_Bessel.pdf |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Formule_complements.pdf |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link=Média:Borel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Borel.pdf |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média:Extrema_liés_ssvar.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Extrema_liés_ssvar.pdf |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Étude_asymptotique_suite_polynômes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:É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=Média:Cauchy_arzela_peano.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média: Critere_Weyl.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Critere_Weyl.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link=Média:ProlongementGamma.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:ProlongementGamma.pdf |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Abel_angulaire.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Abel_angulaire.pdf |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link=Média: Tauberien_fort.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: 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=Média:Calcul_integrale.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Calcul_integrale.pdf |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link=Média: va_gaussiennes.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: va_gaussiennes.pdf |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link=Média:Devdyadique.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média: Galton-Watson.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Galton-Watson.pdf |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link=Média: Ruinedujoueur.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Ruine.pdf |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Séries_entières_avec_coupure_ps.pdf |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link=Média: TCL.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: 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=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: Brouwer.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Brouwer.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link=Média:Weierstrass.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Weierstrass.pdf |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link=Média:Glaeser.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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]]
=== 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 ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* Langage de pile d'un automate à pile ([[Fichier:Tex.png|alt=Tex|link=Média:Dvt_langage_de_pile.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Dvt_langage_de_pile.pdf |24px]])
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
=== Logique ===
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]

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

Développements par thèmes

2014-07-14T17:40:39Z

Salim Rostam : /* Probabilités */

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é]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Commutant d'un endomorphisme ([[Fichier:Tex.png|alt=Tex|link=Média:Commutant.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Commutant.pdf |24px]])
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Orthodiagonalisation des endomorphismes auto-adjoints ([[Fichier:Tex.png|alt=Tex|link=Média:Orthodiag.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Orthodiag.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Réduction des matrices normales ([[Fichier:Tex.png|alt=Tex|link=Média:Matrices_normales.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Matrices_normales.pdf |24px]])
* [[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é ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Anneaux, arithmétique, dénombrement ===
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* Groupes d'ordre pq ([[Fichier:Tex.png|alt=Tex|link=Média:groupes_ordre_pq.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:groupes_ordre_pq.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Bell.pdf | Nombres de Bell]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* [[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]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:R-T.pdf | Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* Une version faible du théorème de Dirichlet ([[Fichier:Tex.png|alt=Tex|link=Média:Dirichlet_faible.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Dirichlet_faible.pdf |24px]])

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Autour de l'ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Autour_ellipse_de_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Autour_ellipse_de_Steiner.pdf |24px]])
* [[Classification des groupes de pavage du plan]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* Ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_Steiner.pdf |24px]])
* Ellipse de Steiner et aire d'un polygone ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_de_Steiner_aire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_de_Steiner_aire.pdf |24px]])
* Groupe circulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_circulaire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Groupe_circulaire.pdf |24px]])
* [[Inégalité isopérimétrique]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes finis de SO(3)]]
* Théorème de Caratheodory ([[Fichier:Tex.png|alt=Tex|link=Média:Caratheodory.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Caratheodory.pdf |24px]])
* Théorème de Cartan-Dieudonné ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Krein_milman.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Krein_milman.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Sommets.pdf | Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* Irréductibilité des polynômes cyclotomiques ([[Fichier:Pdf.png|alt=Tex|link=Média: Cyclo.pdf |24px]])
* [[Loi de réciprocité quadratique]]
* Polynômes irréductibles sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:DenombrementpolyirreFq.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: DenombrementpolyirreFq.pdf |24px]])
* [[Primalité des nombres de Mersenne]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:C-W.pdf | Théorème de Chevalley-Warning]]
* Théorème de d'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* Théorème de l'élément primitif ([[Fichier:Tex.png|alt=Tex|link=Média:Element_primitif.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Element_primitif.pdf |24px]])
* Théorème de Wedderburn ([[Fichier:Pdf.png|alt=Tex|link=Média: Wedderburn.pdf |24px]])

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Décomposition de Bruhat]]
* Groupes d'ordre 12 ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_d_ordre_douze.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Groupe_d_ordre_douze.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Simplicité de <math>\mathfrak{A}_n</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_An.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Simplicité.pdf |24px]])
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* Table de caractères de <math>\mathfrak{A}_5</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_a5.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_a5.pdf |24px]])
* Table de caractères de <math>\mathfrak{S}_4</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_s4.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_s4.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Dn.pdf | Table de caractères du groupe diédral]]
* [[Théorème de Burnside]]
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* Théorème de Frobenius sur les représentations ([[Fichier:Tex.png|alt=Tex|link=Média:Théorème_de_Frobenius.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Théorème_de_Frobenius.pdf |24px]])
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* Théorème de Lie-Kolchin ([[Fichier:Tex.png|alt=Tex|link=Média:Lie-Kolchin.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Lie-Kolchin.pdf |24px]])
* [[Théorème de Molien]]
* Théorème de Sylow ([[Fichier:Tex.png|alt=Tex|link=Média:Sylow.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Sylow.pdf |24px]])

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Dérivée des fonctions lipschitziennes ([[Fichier:Tex.png|alt=Tex|link=Média:Fonctions_lipschitziennes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Fonctions_lipschitziennes.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Projection dans un espace de Hilbert ([[Fichier:Tex.png|alt=Tex|link=Média: proj_hilbert.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: proj_hilbert.pdf |24px]])
* Réduction des opérateurs compacts symétriques dans un Hibert ([[Fichier:Tex.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.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 d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* [[Théorème de Fejér]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Riesz-fischer.pdf | Théorème de Fischer - Riesz]]
* [[Théorème de Hahn-Banach]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Helly.pdf | Théorème de Helly]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | 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=Média:Gradient_optimal.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Gradient_optimal.pdf |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link=Média:Série_harmonique.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Série_harmonique.pdf |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Couronnes biholomorphes.pdf |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Equation_de_Bessel.pdf |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Formule_complements.pdf |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link=Média:Borel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Borel.pdf |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média:Extrema_liés_ssvar.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Extrema_liés_ssvar.pdf |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Étude_asymptotique_suite_polynômes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:É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=Média:Cauchy_arzela_peano.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média: Critere_Weyl.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Critere_Weyl.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link=Média:ProlongementGamma.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:ProlongementGamma.pdf |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Abel_angulaire.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Abel_angulaire.pdf |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link=Média: Tauberien_fort.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: 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=Média:Calcul_integrale.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Calcul_integrale.pdf |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link=Média: va_gaussiennes.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: va_gaussiennes.pdf |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link=Média:Devdyadique.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Devdyadique.pdf |24px]])
* [[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=Média: Galton-Watson.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Galton-Watson.pdf |24px]])
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link=Média: Ruinedujoueur.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Ruine.pdf |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Séries_entières_avec_coupure_ps.pdf |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link=Média: TCL.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: TCL.pdf |24px]])
* [[Théorème de Weierstrass via les probabilités]]

=== 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=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: Brouwer.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Brouwer.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link=Média:Weierstrass.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Weierstrass.pdf |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link=Média:Glaeser.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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]]
=== 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 ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* Langage de pile d'un automate à pile ([[Fichier:Tex.png|alt=Tex|link=Média:Dvt_langage_de_pile.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Dvt_langage_de_pile.pdf |24px]])
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
=== Logique ===
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]

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

Fichier:Galton-Watson.tex

2014-07-14T17:40:20Z

Salim Rostam :

Fichier:Galton-Watson.pdf

2014-07-14T17:40:13Z

Salim Rostam :

Fichier:Extrema liés ssvar.tex

2014-07-14T14:01:27Z

Salim Rostam : a téléversé une nouvelle version de « Fichier:Extrema liés ssvar.tex »

Fichier:Extrema liés ssvar.pdf

2014-07-14T14:01:14Z

Salim Rostam : a téléversé une nouvelle version de « Fichier:Extrema liés ssvar.pdf »

Développements par thèmes

2014-07-13T19:09:15Z

Salim Rostam : /* Calcul différentiel et fonctions holomorphes */

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é]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Commutant d'un endomorphisme ([[Fichier:Tex.png|alt=Tex|link=Média:Commutant.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Commutant.pdf |24px]])
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Orthodiagonalisation des endomorphismes auto-adjoints ([[Fichier:Tex.png|alt=Tex|link=Média:Orthodiag.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Orthodiag.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Réduction des matrices normales ([[Fichier:Tex.png|alt=Tex|link=Média:Matrices_normales.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Matrices_normales.pdf |24px]])
* [[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é ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Anneaux, arithmétique, dénombrement ===
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* Groupes d'ordre pq ([[Fichier:Tex.png|alt=Tex|link=Média:groupes_ordre_pq.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:groupes_ordre_pq.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Bell.pdf | Nombres de Bell]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* [[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]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:R-T.pdf | Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* Une version faible du théorème de Dirichlet ([[Fichier:Tex.png|alt=Tex|link=Média:Dirichlet_faible.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Dirichlet_faible.pdf |24px]])

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Autour de l'ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Autour_ellipse_de_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Autour_ellipse_de_Steiner.pdf |24px]])
* [[Classification des groupes de pavage du plan]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* Ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_Steiner.pdf |24px]])
* Ellipse de Steiner et aire d'un polygone ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_de_Steiner_aire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_de_Steiner_aire.pdf |24px]])
* Groupe circulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_circulaire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Groupe_circulaire.pdf |24px]])
* [[Inégalité isopérimétrique]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes finis de SO(3)]]
* Théorème de Caratheodory ([[Fichier:Tex.png|alt=Tex|link=Média:Caratheodory.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Caratheodory.pdf |24px]])
* Théorème de Cartan-Dieudonné ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Krein_milman.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Krein_milman.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Sommets.pdf | Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* Irréductibilité des polynômes cyclotomiques ([[Fichier:Pdf.png|alt=Tex|link=Média: Cyclo.pdf |24px]])
* [[Loi de réciprocité quadratique]]
* Polynômes irréductibles sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:DenombrementpolyirreFq.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: DenombrementpolyirreFq.pdf |24px]])
* [[Primalité des nombres de Mersenne]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:C-W.pdf | Théorème de Chevalley-Warning]]
* Théorème de d'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* Théorème de l'élément primitif ([[Fichier:Tex.png|alt=Tex|link=Média:Element_primitif.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Element_primitif.pdf |24px]])
* Théorème de Wedderburn ([[Fichier:Pdf.png|alt=Tex|link=Média: Wedderburn.pdf |24px]])

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Décomposition de Bruhat]]
* Groupes d'ordre 12 ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_d_ordre_douze.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Groupe_d_ordre_douze.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Simplicité de <math>\mathfrak{A}_n</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_An.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Simplicité.pdf |24px]])
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* Table de caractères de <math>\mathfrak{A}_5</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_a5.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_a5.pdf |24px]])
* Table de caractères de <math>\mathfrak{S}_4</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_s4.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_s4.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Dn.pdf | Table de caractères du groupe diédral]]
* [[Théorème de Burnside]]
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* Théorème de Frobenius sur les représentations ([[Fichier:Tex.png|alt=Tex|link=Média:Théorème_de_Frobenius.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Théorème_de_Frobenius.pdf |24px]])
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* Théorème de Lie-Kolchin ([[Fichier:Tex.png|alt=Tex|link=Média:Lie-Kolchin.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Lie-Kolchin.pdf |24px]])
* [[Théorème de Molien]]
* Théorème de Sylow ([[Fichier:Tex.png|alt=Tex|link=Média:Sylow.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Sylow.pdf |24px]])

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Dérivée des fonctions lipschitziennes ([[Fichier:Tex.png|alt=Tex|link=Média:Fonctions_lipschitziennes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Fonctions_lipschitziennes.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Projection dans un espace de Hilbert ([[Fichier:Tex.png|alt=Tex|link=Média: proj_hilbert.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: proj_hilbert.pdf |24px]])
* Réduction des opérateurs compacts symétriques dans un Hibert ([[Fichier:Tex.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.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 d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* [[Théorème de Fejér]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Riesz-fischer.pdf | Théorème de Fischer - Riesz]]
* [[Théorème de Hahn-Banach]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Helly.pdf | Théorème de Helly]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | 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=Média:Gradient_optimal.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Gradient_optimal.pdf |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link=Média:Série_harmonique.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Série_harmonique.pdf |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Couronnes biholomorphes.pdf |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Equation_de_Bessel.pdf |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Formule_complements.pdf |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link=Média:Borel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Borel.pdf |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média:Extrema_liés_ssvar.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Extrema_liés_ssvar.pdf |24px]])
* [[Théorème des fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Étude_asymptotique_suite_polynômes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:É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=Média:Cauchy_arzela_peano.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média: Critere_Weyl.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Critere_Weyl.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link=Média:ProlongementGamma.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:ProlongementGamma.pdf |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Abel_angulaire.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Abel_angulaire.pdf |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link=Média: Tauberien_fort.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: 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=Média:Calcul_integrale.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Calcul_integrale.pdf |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link=Média: va_gaussiennes.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: va_gaussiennes.pdf |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link=Média:Devdyadique.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Devdyadique.pdf |24px]])
* [[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]]
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link=Média: Ruinedujoueur.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Ruine.pdf |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Séries_entières_avec_coupure_ps.pdf |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link=Média: TCL.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: TCL.pdf |24px]])
* [[Théorème de Weierstrass via les probabilités]]

=== 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=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: Brouwer.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Brouwer.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link=Média:Weierstrass.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Weierstrass.pdf |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link=Média:Glaeser.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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]]
=== 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 ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* Langage de pile d'un automate à pile ([[Fichier:Tex.png|alt=Tex|link=Média:Dvt_langage_de_pile.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Dvt_langage_de_pile.pdf |24px]])
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
=== Logique ===
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]

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

Fichier:Extrema liés ssvar.tex

2014-07-13T19:08:51Z

Salim Rostam :

Fichier:Extrema liés ssvar.pdf

2014-07-13T19:08:29Z

Salim Rostam :

Développements par thèmes

2014-07-12T13:39:52Z

Salim Rostam : /* Analyse numérique, méthodes d'approximation */

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é]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Commutant d'un endomorphisme ([[Fichier:Tex.png|alt=Tex|link=Média:Commutant.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Commutant.pdf |24px]])
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Orthodiagonalisation des endomorphismes auto-adjoints ([[Fichier:Tex.png|alt=Tex|link=Média:Orthodiag.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Orthodiag.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Réduction des matrices normales ([[Fichier:Tex.png|alt=Tex|link=Média:Matrices_normales.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Matrices_normales.pdf |24px]])
* [[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é ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Anneaux, arithmétique, dénombrement ===
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* Groupes d'ordre pq ([[Fichier:Tex.png|alt=Tex|link=Média:groupes_ordre_pq.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:groupes_ordre_pq.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Bell.pdf | Nombres de Bell]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* [[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]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:R-T.pdf | Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* Une version faible du théorème de Dirichlet ([[Fichier:Tex.png|alt=Tex|link=Média:Dirichlet_faible.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Dirichlet_faible.pdf |24px]])

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Autour de l'ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Autour_ellipse_de_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Autour_ellipse_de_Steiner.pdf |24px]])
* [[Classification des groupes de pavage du plan]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* Ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_Steiner.pdf |24px]])
* Ellipse de Steiner et aire d'un polygone ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_de_Steiner_aire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_de_Steiner_aire.pdf |24px]])
* Groupe circulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_circulaire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Groupe_circulaire.pdf |24px]])
* [[Inégalité isopérimétrique]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes finis de SO(3)]]
* Théorème de Caratheodory ([[Fichier:Tex.png|alt=Tex|link=Média:Caratheodory.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Caratheodory.pdf |24px]])
* Théorème de Cartan-Dieudonné ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Krein_milman.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Krein_milman.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Sommets.pdf | Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* Irréductibilité des polynômes cyclotomiques ([[Fichier:Pdf.png|alt=Tex|link=Média: Cyclo.pdf |24px]])
* [[Loi de réciprocité quadratique]]
* Polynômes irréductibles sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:DenombrementpolyirreFq.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: DenombrementpolyirreFq.pdf |24px]])
* [[Primalité des nombres de Mersenne]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:C-W.pdf | Théorème de Chevalley-Warning]]
* Théorème de d'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* Théorème de l'élément primitif ([[Fichier:Tex.png|alt=Tex|link=Média:Element_primitif.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Element_primitif.pdf |24px]])
* Théorème de Wedderburn ([[Fichier:Pdf.png|alt=Tex|link=Média: Wedderburn.pdf |24px]])

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Décomposition de Bruhat]]
* Groupes d'ordre 12 ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_d_ordre_douze.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Groupe_d_ordre_douze.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Simplicité de <math>\mathfrak{A}_n</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_An.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Simplicité.pdf |24px]])
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* Table de caractères de <math>\mathfrak{A}_5</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_a5.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_a5.pdf |24px]])
* Table de caractères de <math>\mathfrak{S}_4</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_s4.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_s4.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Dn.pdf | Table de caractères du groupe diédral]]
* [[Théorème de Burnside]]
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* Théorème de Frobenius sur les représentations ([[Fichier:Tex.png|alt=Tex|link=Média:Théorème_de_Frobenius.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Théorème_de_Frobenius.pdf |24px]])
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* Théorème de Lie-Kolchin ([[Fichier:Tex.png|alt=Tex|link=Média:Lie-Kolchin.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Lie-Kolchin.pdf |24px]])
* [[Théorème de Molien]]
* Théorème de Sylow ([[Fichier:Tex.png|alt=Tex|link=Média:Sylow.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Sylow.pdf |24px]])

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Dérivée des fonctions lipschitziennes ([[Fichier:Tex.png|alt=Tex|link=Média:Fonctions_lipschitziennes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Fonctions_lipschitziennes.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Projection dans un espace de Hilbert ([[Fichier:Tex.png|alt=Tex|link=Média: proj_hilbert.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: proj_hilbert.pdf |24px]])
* Réduction des opérateurs compacts symétriques dans un Hibert ([[Fichier:Tex.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.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 d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* [[Théorème de Fejér]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Riesz-fischer.pdf | Théorème de Fischer - Riesz]]
* [[Théorème de Hahn-Banach]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Helly.pdf | Théorème de Helly]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | 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=Média:Gradient_optimal.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Gradient_optimal.pdf |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* [[Méthode de Newton]]
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link=Média:Série_harmonique.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Série_harmonique.pdf |24px]])
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Couronnes biholomorphes.pdf |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Equation_de_Bessel.pdf |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Formule_complements.pdf |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link=Média:Borel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Borel.pdf |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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 fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Étude_asymptotique_suite_polynômes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:É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=Média:Cauchy_arzela_peano.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média: Critere_Weyl.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Critere_Weyl.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link=Média:ProlongementGamma.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:ProlongementGamma.pdf |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Abel_angulaire.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Abel_angulaire.pdf |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link=Média: Tauberien_fort.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: 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=Média:Calcul_integrale.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Calcul_integrale.pdf |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link=Média: va_gaussiennes.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: va_gaussiennes.pdf |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link=Média:Devdyadique.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Devdyadique.pdf |24px]])
* [[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]]
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link=Média: Ruinedujoueur.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Ruine.pdf |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Séries_entières_avec_coupure_ps.pdf |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link=Média: TCL.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: TCL.pdf |24px]])
* [[Théorème de Weierstrass via les probabilités]]

=== 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=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: Brouwer.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Brouwer.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link=Média:Weierstrass.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Weierstrass.pdf |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link=Média:Glaeser.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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]]
=== 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 ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* Langage de pile d'un automate à pile ([[Fichier:Tex.png|alt=Tex|link=Média:Dvt_langage_de_pile.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Dvt_langage_de_pile.pdf |24px]])
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
=== Logique ===
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]

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

Fichier:Série harmonique.tex

2014-07-12T13:37:40Z

Salim Rostam :

Fichier:Série harmonique.pdf

2014-07-12T13:37:30Z

Salim Rostam :

Fichier:Ellipse de Steiner aire.pdf

2014-07-12T12:04:46Z

Salim Rostam : a téléversé une nouvelle version de « Fichier:Ellipse de Steiner aire.pdf »

Fichier:Ellipse de Steiner aire.tex

2014-07-12T12:04:23Z

Salim Rostam : a téléversé une nouvelle version de « Fichier:Ellipse de Steiner aire.tex »

Fichier:Autour ellipse de Steiner.tex

2014-07-12T12:04:04Z

Salim Rostam : a téléversé une nouvelle version de « Fichier:Autour ellipse de Steiner.tex »

Fichier:Autour ellipse de Steiner.pdf

2014-07-12T12:03:51Z

Salim Rostam : a téléversé une nouvelle version de « Fichier:Autour ellipse de Steiner.pdf »

Ellipse de Steiner + aise

Développements par thèmes

2014-07-12T10:11:20Z

Salim Rostam : /* Géométrie */

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é]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Commutant d'un endomorphisme ([[Fichier:Tex.png|alt=Tex|link=Média:Commutant.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Commutant.pdf |24px]])
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* [[Décomposition de Bruhat]]
* [[Décomposition de Dunford]]
* [[Ellipsoïde de John-Lœwner]]
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Orthodiagonalisation des endomorphismes auto-adjoints ([[Fichier:Tex.png|alt=Tex|link=Média:Orthodiag.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Orthodiag.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Réduction des matrices normales ([[Fichier:Tex.png|alt=Tex|link=Média:Matrices_normales.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Matrices_normales.pdf |24px]])
* [[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é ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Anneaux, arithmétique, dénombrement ===
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:AFI.pdf | Algorithme des facteurs invariants]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Borne de Bézout]]
* [[Décomposition de Dunford]]
* Groupes d'ordre pq ([[Fichier:Tex.png|alt=Tex|link=Média:groupes_ordre_pq.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:groupes_ordre_pq.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Bell.pdf | Nombres de Bell]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* [[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]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:R-T.pdf | Théorème de Rothstein-Trager]]
* [[Théorème des deux carrés]]
* Une version faible du théorème de Dirichlet ([[Fichier:Tex.png|alt=Tex|link=Média:Dirichlet_faible.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Dirichlet_faible.pdf |24px]])

=== Géométrie ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Autour de l'ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Autour_ellipse_de_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Autour_ellipse_de_Steiner.pdf |24px]])
* [[Classification des groupes de pavage du plan]]
* Convergence d'une suite de polygônes vers l'isobarycentre ([[Fichier:Tex.png|alt=Tex|link=Média: conv_polygones.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: conv_polygones.pdf |24px]])
* Ellipse de Steiner ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_Steiner.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_Steiner.pdf |24px]])
* Ellipse de Steiner et aire d'un polygone ([[Fichier:Tex.png|alt=Tex|link=Média:Ellipse_de_Steiner_aire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Ellipse_de_Steiner_aire.pdf |24px]])
* Groupe circulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_circulaire.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Groupe_circulaire.pdf |24px]])
* [[Inégalité isopérimétrique]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le folium de Descartes]]
* [[Le paradoxe de Banach-Tarski]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes finis de SO(3)]]
* Théorème de Caratheodory ([[Fichier:Tex.png|alt=Tex|link=Média:Caratheodory.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Caratheodory.pdf |24px]])
* Théorème de Cartan-Dieudonné ([[Fichier:Tex.png|alt=Tex|link=Média: cartan_dieudonne.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: cartan_dieudonne.pdf |24px]])
* [[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 ([[Fichier:Tex.png|alt=Tex|link=Média:Krein_milman.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Krein_milman.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Sommets.pdf | Théorème des quatre sommets]]

=== Théorie des corps, irréductibilité, primalité ===
* Irréductibilité des polynômes cyclotomiques ([[Fichier:Pdf.png|alt=Tex|link=Média: Cyclo.pdf |24px]])
* [[Loi de réciprocité quadratique]]
* Polynômes irréductibles sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:DenombrementpolyirreFq.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: DenombrementpolyirreFq.pdf |24px]])
* [[Primalité des nombres de Mersenne]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:C-W.pdf | Théorème de Chevalley-Warning]]
* Théorème de d'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Kronecker]]
* Théorème de l'élément primitif ([[Fichier:Tex.png|alt=Tex|link=Média:Element_primitif.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: Element_primitif.pdf |24px]])
* Théorème de Wedderburn ([[Fichier:Pdf.png|alt=Tex|link=Média: Wedderburn.pdf |24px]])

=== Théorie des groupes ===
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math> ([[Fichier:Tex.png|alt=Tex|link=Média:AutomorphismesdeZnZ.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:AutomorphismesdeZnZ.pdf |24px]])
* [[Décomposition de Bruhat]]
* Groupes d'ordre 12 ([[Fichier:Tex.png|alt=Tex|link=Média:Groupe_d_ordre_douze.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Groupe_d_ordre_douze.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Cube.pdf | Isométries du cube]]
* [[Le paradoxe de Banach-Tarski]]
* Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Nombre_matrices_diagonalisables.pdf |24px]])
* Simplicité de <math>\mathfrak{A}_n</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_An.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Simplicité.pdf |24px]])
* Simplicité de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Simplicité_SO(3).tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Simplicité_SO(3).pdf |24px]])
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* [[Sous-groupes finis de SO(3)]]
* Table de caractères de <math>\mathfrak{A}_5</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_a5.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_a5.pdf |24px]])
* Table de caractères de <math>\mathfrak{S}_4</math> ([[Fichier:Tex.png|alt=Tex|link=Média:table_s4.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: table_s4.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Dn.pdf | Table de caractères du groupe diédral]]
* [[Théorème de Burnside]]
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* Théorème de Frobenius sur les représentations ([[Fichier:Tex.png|alt=Tex|link=Média:Théorème_de_Frobenius.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Théorème_de_Frobenius.pdf |24px]])
* [[Théorème de Frobenius-Zolotarev]]
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* Théorème de Lie-Kolchin ([[Fichier:Tex.png|alt=Tex|link=Média:Lie-Kolchin.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Lie-Kolchin.pdf |24px]])
* [[Théorème de Molien]]
* Théorème de Sylow ([[Fichier:Tex.png|alt=Tex|link=Média:Sylow.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Sylow.pdf |24px]])

= Analyse =

=== Analyse fonctionelle et distributions ===
* [[Densité des fonctions continues nulle part dérivables]]
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Dérivée des fonctions lipschitziennes ([[Fichier:Tex.png|alt=Tex|link=Média:Fonctions_lipschitziennes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Fonctions_lipschitziennes.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Projection dans un espace de Hilbert ([[Fichier:Tex.png|alt=Tex|link=Média: proj_hilbert.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: proj_hilbert.pdf |24px]])
* Réduction des opérateurs compacts symétriques dans un Hibert ([[Fichier:Tex.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Reduction_operateurs_compacts_symetriques.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 d'Ascoli]]
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
* [[Théorème de Fejér]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Riesz-fischer.pdf | Théorème de Fischer - Riesz]]
* [[Théorème de Hahn-Banach]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Helly.pdf | Théorème de Helly]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | 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=Média:Gradient_optimal.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Gradient_optimal.pdf |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* [[Méthode de Newton]]
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link=Média:Inverse_methode_iterative.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Inverse_methode_iterative.pdf |24px]])

=== Calcul différentiel et fonctions holomorphes ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Couronnes biholomorphes.pdf |24px]])
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link=Média: densite_polynomes_orthogonaux.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: densite_polynomes_orthogonaux.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Equation_de_Bessel.pdf |24px]])
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Formule_complements.pdf |24px]])
* [[Inégalités de Kolmogorov]]
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link=Média:Borel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Borel.pdf |24px]])
* [[Lemme de Morse]]
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* [[Méthode de Newton]]
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:DAlembert-Gauss.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: DAlembert-Gauss.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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 fonctions implicites]]

=== Équations différentielles ===
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link=Média:Courbe brachistochrone.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Courbe brachistochrone.pdf |24px]])
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link=Média:Equation_de_Bessel.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Étude_asymptotique_suite_polynômes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:É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=Média:Cauchy_arzela_peano.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média: Critere_Weyl.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Critere_Weyl.pdf |24px]])
* [[Formule d'inversion de Fourier]]
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link=Média:Formule_complements.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: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=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link=Média:ProlongementGamma.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:ProlongementGamma.pdf |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Abel_angulaire.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Abel_angulaire.pdf |24px]])
* [[Théorème d'échantillonnage de Shannon]]
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link=Média: Benedicks.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Benedicks.pdf |24px]])
* [[Théorème de Fejér]]
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link=Média: Tauberien_fort.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: 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=Média:Calcul_integrale.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Calcul_integrale.pdf |24px]])

=== Probabilités ===
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link=Média: va_gaussiennes.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: va_gaussiennes.pdf |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link=Média:Devdyadique.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Devdyadique.pdf |24px]])
* [[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]]
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link=Média: Ruinedujoueur.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Ruine.pdf |24px]])
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link=Média:Séries_entières_avec_coupure_ps.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Séries_entières_avec_coupure_ps.pdf |24px]])
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link=Média: TCL.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: TCL.pdf |24px]])
* [[Théorème de Weierstrass via les probabilités]]

=== 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=Média:Couronnes biholomorphes.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: Brouwer.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Brouwer.pdf |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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=Média: RFK.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: RFK.pdf |24px]])
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link=Média:Weierstrass.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Weierstrass.pdf |24px]])

= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link=Média:Glaeser.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média: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]]
=== 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 ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* Langage de pile d'un automate à pile ([[Fichier:Tex.png|alt=Tex|link=Média:Dvt_langage_de_pile.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Dvt_langage_de_pile.pdf |24px]])
* [[Problème de séparation par automates]]
* [[Universalité d'un langage rationnel]]
=== Logique ===
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link=Média:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf |24px]])
* [[Fonction d'Ackermann]]
* [[Algorithme d'unification]]
* [[Complétude de la méthode de résolution]]
* [[Exemple d'un programme PROLOG]]

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

Fichier:Ellipse de Steiner aire.tex

2014-07-12T10:07:25Z

Salim Rostam :

Fichier:Ellipse de Steiner aire.pdf

2014-07-12T10:07:16Z

Salim Rostam :

Fichier:Autour ellipse de Steiner.tex

2014-07-12T10:06:54Z

Salim Rostam :

Fichier:Autour ellipse de Steiner.pdf

2014-07-12T10:06:32Z

Salim Rostam : Ellipse de Steiner + aise

Ellipse de Steiner + aise