https://minerve.ens-rennes.fr/api.php?action=feedcontributions&user=Fr%C3%A9d%C3%A9ric+Valet&feedformat=atomAgregmathKL - Contributions de l’utilisateur [fr]2024-03-28T21:51:03ZContributions de l’utilisateurMediaWiki 1.24.0https://minerve.ens-rennes.fr/index.php?title=Fichier:Dvt_terminaison.pdf&diff=2830Fichier:Dvt terminaison.pdf2015-03-31T13:21:50Z<p>Frédéric Valet : </p>
<hr />
<div></div>Frédéric Valethttps://minerve.ens-rennes.fr/index.php?title=Ind%C3%A9cidabilit%C3%A9_de_la_terminaison_d%27un_syst%C3%A8me_de_r%C3%A9%C3%A9criture&diff=2829Indécidabilité de la terminaison d'un système de réécriture2015-03-31T13:21:29Z<p>Frédéric Valet : Page créée avec « On montre que le problème de la terminaison d'un système de réécriture est indécidable. ==Développement== *24px Média:dvt_termi... »</p>
<hr />
<div>On montre que le problème de la terminaison d'un système de réécriture est indécidable.<br />
<br />
==Développement==<br />
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_terminaison.pdf | Indécidabilité de la terminaison d'un système de réécriture.]]<br />
<br />
==Référence==<br />
<br />
Baader Nipkow, Term rewriting and all that.<br />
<br />
== Recasements ==<br />
* [[913 -- Machines de Turing. Applications.]]<br />
* [[914 -- Décidabilité et indécidabilité. Exemples.]]<br />
* [[920 -- Réécriture et formes normales. Exemples.]]<br />
* [[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]]<br />
<br />
[[Category: Développement de la leçon 913]]<br />
[[Category: Développement de la leçon 914]]<br />
[[Category: Développement de la leçon 920]]<br />
[[Category: Développement de la leçon 922]]</div>Frédéric Valethttps://minerve.ens-rennes.fr/index.php?title=D%C3%A9veloppements_par_th%C3%A8mes&diff=2828Développements par thèmes2015-03-31T13:15:31Z<p>Frédéric Valet : /* Décidabilité & Calculabilité */</p>
<hr />
<div>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.<br />
<br />
Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.<br />
<br />
(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).<br />
<br />
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]].<br />
<br />
= Algèbre =<br />
<br />
=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===<br />
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]<br />
* [[Algorithme des facteurs invariants]]<br />
* [[Commutant d'un endomorphisme]]<br />
* [[Lemme de Morse ]]<br />
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]<br />
* [[Décomposition de Bruhat]]<br />
* [[Décomposition de Dunford]]<br />
* [[Diagrammes de Young et réduction de Jordan]]<br />
* [[Ellipsoïde de John-Lœwner]]<br />
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]<br />
* [[Formes de Hankel]]<br />
* [[Isomorphisme entre M_n(K) et son dual]]<br />
* [[Lemme de Morse]]<br />
* [[Nombre de matrices diagonalisables sur Fq]]<br />
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]<br />
* [[Points extrémaux de la boule unité de L(E) ]]<br />
* [[Réduction des matrices normales]]<br />
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]<br />
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]<br />
* [[Surjectivité de l'exponentielle matricielle]]<br />
* [[Théorème de Burnside]]<br />
* [[Théorème de Cartan-Dieudonné]]<br />
* [[Théorème de Frobenius-Zolotarev]]<br />
* [[Théorème de Molien]]<br />
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]<br />
* [[Une méthode itérative de résolution de systèmes linéaires]]<br />
<br />
=== Anneaux, arithmétique, dénombrement ===<br />
* [[Algorithme des facteurs invariants]]<br />
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]<br />
* [[Borne de Bézout]]<br />
* [[Décomposition de Dunford]]<br />
* [[Équation de Fermat pour n=3]]<br />
* [[Groupes d'ordre pq]]<br />
* [[Nombres de Bell]]<br />
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]<br />
* [[Partitions d'un entier en parts fixées]]<br />
* [[Primalité des nombres de Mersenne]]<br />
* [[Probabilité que deux entiers soient premiers entre eux]]<br />
* [[Sous-groupes finis de SO(3)]]<br />
* [[Théorème de Gauß pour les polygones réguliers constructibles]]<br />
* [[Théorème de Kronecker]]<br />
* [[Théorème de Rothstein-Trager]]<br />
* [[Théorème des deux carrés]]<br />
* [[Une version faible du théorème de Dirichlet]]<br />
<br />
=== Géométrie ===<br />
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]<br />
* [[Classification des groupes de pavage du plan]]<br />
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]<br />
* [[Ellipse de Steiner]]<br />
* [[Groupe circulaire]]<br />
* [[Inégalité isopérimétrique]]<br />
* [[Isométries du cube]]<br />
* [[Le folium de Descartes]]<br />
* [[Le paradoxe de Banach-Tarski]]<br />
* [[Points extrémaux de la boule unité de L(E)]]<br />
* [[Simplicité de SO(3)]]<br />
* [[Sous-groupes finis de SO(3)]]<br />
* [[Théorème de Caratheodory]]<br />
* [[Théorème de Cartan-Dieudonné]])<br />
* [[Théorème de Gauß pour les polygones réguliers constructibles]]<br />
* [[Théorème de Hahn-Banach]]<br />
* [[Théorème de Jordan]]<br />
* [[Théorème de Krein-Milman]]<br />
* [[Théorème des quatre sommets]]<br />
<br />
=== Théorie des corps, irréductibilité, primalité ===<br />
* [[Irréductibilité des polynômes cyclotomiques]]<br />
* [[Loi de réciprocité quadratique]]<br />
* [[Polynômes irréductibles sur Fq]]<br />
* [[Primalité des nombres de Mersenne]]<br />
* [[Théorème de Chevalley-Warning]]<br />
* [[Théorème de d'Alembert-Gauss]]<br />
* [[Théorème de Gauß pour les polygones réguliers constructibles]]<br />
* [[Théorème de Kronecker]]<br />
* [[Théorème de l'élément primitif]]<br />
* [[Théorème de Wedderburn]]<br />
<br />
=== Théorie des groupes ===<br />
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]<br />
* [[Automorphismes de ZnZ]]<br />
* [[Décomposition de Bruhat]]<br />
* [[Groupes d'ordre 12]]<br />
* [[Isométries du cube]]<br />
* [[Le paradoxe de Banach-Tarski]]<br />
* [[Loi de réciprocité quadratique]]<br />
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]<br />
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]<br />
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]<br />
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]<br />
* [[Sous-groupes finis de SO(3)]]<br />
* [[Tables de caractères]]<br />
* [[Théorème de Burnside]]<br />
* [[Théorème de Cartan-Von Neumann]]<br />
* [[Théorème de Frobenius sur les représentations]]<br />
* [[Théorème de Frobenius-Zolotarev]]<br />
* [[Théorème de Gauß pour les polygones réguliers constructibles]]<br />
* [[Théorème de Lie-Kolchin]]<br />
* [[Théorème de Molien]]<br />
* [[Théorème de Sylow]]<br />
<br />
= Analyse =<br />
<br />
=== Analyse fonctionelle et distributions ===<br />
* [[Densité des fonctions continues nulle part dérivables]]<br />
* [[Densité des polynômes orthogonaux]]<br />
* [[Dérivée des fonctions lipschitziennes]]<br />
* [[Formule d'inversion de Fourier]]<br />
* [[Projection dans un espace de Hilbert]]<br />
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]<br />
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]<br />
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]<br />
* [[Théorème d'Ascoli]]<br />
* [[Théorème d'échantillonnage de Shannon]]<br />
* [[Théorème de Benedicks]]<br />
* [[Théorème de Cartan-Von Neumann]]<br />
* [[Théorème de Fejér]]<br />
* [[Théorème de Riesz - Fischer]]<br />
* [[Théorème de Hahn-Banach]]<br />
* [[Théorème de Helly]]<br />
* [[Théorème de Riesz-Fréchet-Kolmogorov]]<br />
* [[Un espace de Sobolev]]<br />
<br />
=== Analyse numérique, méthodes d'approximation ===<br />
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])<br />
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])<br />
* [[Méthode de Newton]]<br />
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])<br />
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])<br />
<br />
=== Calcul différentiel et fonctions holomorphes ===<br />
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])<br />
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])<br />
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])<br />
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])<br />
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])<br />
* [[Inégalités de Kolmogorov]]<br />
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])<br />
* [[Lemme de Morse]]<br />
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])<br />
* [[Méthode de Newton]]<br />
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])<br />
* [[Surjectivité de l'exponentielle matricielle]]<br />
* [[Théorème d'inversion locale]]<br />
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])<br />
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])<br />
* [[Théorème de Hadamard-Lévy]]<br />
* [[Théorème de Jordan]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]<br />
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])<br />
* [[Théorème des fonctions implicites]]<br />
<br />
=== Équations différentielles ===<br />
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])<br />
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]<br />
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])<br />
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]<br />
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]<br />
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])<br />
* [[Théorème de Cauchy-Lipschitz]]<br />
* [[Théorème de Hadamard-Lévy]]<br />
* [[Théorème de stabilité de Lyapounov]]<br />
<br />
=== Intégration ===<br />
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])<br />
* [[Formule d'inversion de Fourier]]<br />
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]<br />
* [[Intégrale de Fresnel]]<br />
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])<br />
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])<br />
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])<br />
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])<br />
* [[Théorème d'échantillonnage de Shannon]]<br />
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])<br />
* [[Théorème de Fejér]]<br />
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])<br />
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]<br />
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])<br />
<br />
=== Probabilités ===<br />
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])<br />
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]<br />
* [[Etude de la loi Gamma]]<br />
* [[Marche aléatoire sur Z]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]<br />
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])<br />
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])<br />
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])<br />
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])<br />
* [[Théorème de Weierstrass via les probabilités]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]<br />
<br />
=== Topologie ===<br />
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]<br />
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])<br />
* [[Ellipsoïde de John-Lœwner]]<br />
* [[Lemme de Morse]]<br />
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]<br />
* [[Théorème d'Ascoli]]<br />
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]<br />
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])<br />
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])<br />
* [[Théorème de Fejér]]<br />
* [[Théorème de Jordan]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]<br />
* [[Théorème de Müntz]]<br />
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])<br />
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])<br />
<br />
= Non classés =<br />
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])<br />
<br />
= Informatique =<br />
=== Algorithmique et structures de données ===<br />
* [[2SAT est décidable en temps linéaire]]<br />
* [[Arbres binaires de recherche optimaux]]<br />
* [[Automate des occurrences]]<br />
* [[Hachage parfait]]<br />
* [[Plus longue sous-séquence commune]]<br />
* [[Algorithme d'unification]]<br />
* [[Tri polyphasé]]<br />
* [[Transformée de Fourier rapide]]<br />
* [[Algorithme de Hopcroft]]<br />
<br />
=== Complexité ===<br />
* [[2SAT est décidable en temps linéaire]]<br />
* [[Problème de séparation par automates]]<br />
* [[Universalité d'un langage rationnel]]<br />
* [[Théorème de Cook]]<br />
<br />
=== Décidabilité & Calculabilité ===<br />
* [[Théorème de Rice]]<br />
* [[Décidabilité de l'arithmétique de Presburger]]<br />
* [[Une fonction calculable est récursive]]<br />
* [[Indécidabilité de la terminaison d'un système de réécriture]]<br />
<br />
=== Langages formels ===<br />
* [[Automate des occurrences]]<br />
* [[Arithmétique de Presburger]]<br />
* [[Langage de pile d'un automate à pile]]<br />
* [[Problème de séparation par automates]]<br />
* [[Universalité d'un langage rationnel]]<br />
* [[Analyse LR(0)]]<br />
* [[Algorithme CYK]]<br />
* [[Algorithme de Hopcroft]]<br />
* [[Théorème de Parikh]]<br />
<br />
=== Logique ===<br />
* [[Compacité du calcul propositionnel]]<br />
* [[Arithmétique de Presburger]]<br />
* [[Fonction d'Ackermann]]<br />
* [[Algorithme d'unification]]<br />
* [[Complétude de la méthode de résolution]]<br />
* [[Exemple d'un programme PROLOG]]<br />
* [[Théorème de Lowenheim-Skolem]]<br />
<br />
=== Réécriture ===<br />
* [[Théorème de Higman]]<br />
* [[Algorithme d'unification]]<br />
* [[Ordre de simplification / Lemme de Highman / Théorème de Kruskal]]</div>Frédéric Valethttps://minerve.ens-rennes.fr/index.php?title=Fichier:Dvt_ordre_de_simplifaction.pdf&diff=2827Fichier:Dvt ordre de simplifaction.pdf2015-03-31T13:13:17Z<p>Frédéric Valet : </p>
<hr />
<div></div>Frédéric Valethttps://minerve.ens-rennes.fr/index.php?title=Ordre_de_simplification_/_Lemme_de_Highman_/_Th%C3%A9or%C3%A8me_de_Kruskal&diff=2826Ordre de simplification / Lemme de Highman / Théorème de Kruskal2015-03-31T13:12:45Z<p>Frédéric Valet : /* Développement */</p>
<hr />
<div>On montre avec beaucoup d'efforts pour un développement, qu'un ordre de simplification et une signature finie entraînent la bien-fondaison.<br />
<br />
==Recasement==<br />
<br />
* [[919 ? -- Unification : algorithmes et applications.]]<br />
<br />
* [[920 -- Réécriture et formes normales. Exemples]]<br />
<br />
==Développement==<br />
<br />
<br />
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_ordre_de_simplifaction.pdf | Ordre de simplifcation]]<br />
<br />
[[Category: Développement de la leçon 920]]</div>Frédéric Valethttps://minerve.ens-rennes.fr/index.php?title=Ordre_de_simplification_/_Lemme_de_Highman_/_Th%C3%A9or%C3%A8me_de_Kruskal&diff=2825Ordre de simplification / Lemme de Highman / Théorème de Kruskal2015-03-31T13:04:09Z<p>Frédéric Valet : Page créée avec « On montre avec beaucoup d'efforts pour un développement, qu'un ordre de simplification et une signature finie entraînent la bien-fondaison. ==Recasement== * 919 ? --... »</p>
<hr />
<div>On montre avec beaucoup d'efforts pour un développement, qu'un ordre de simplification et une signature finie entraînent la bien-fondaison.<br />
<br />
==Recasement==<br />
<br />
* [[919 ? -- Unification : algorithmes et applications.]]<br />
<br />
* [[920 -- Réécriture et formes normales. Exemples]]<br />
<br />
==Développement==<br />
<br />
<br />
<br />
[[Category: Développement de la leçon 920]]</div>Frédéric Valethttps://minerve.ens-rennes.fr/index.php?title=D%C3%A9veloppements_par_th%C3%A8mes&diff=2824Développements par thèmes2015-03-31T12:57:14Z<p>Frédéric Valet : /* Réécriture */</p>
<hr />
<div>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.<br />
<br />
Il est donc explicitement demandé à ceux qui ajoutent un développement de le faire apparaitre dans '''toutes''' les parties qui le concernent.<br />
<br />
(le choix des découpages est arbitraire, toute modification éclairée est la bienvenue).<br />
<br />
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]].<br />
<br />
= Algèbre =<br />
<br />
=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===<br />
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]<br />
* [[Algorithme des facteurs invariants]]<br />
* [[Commutant d'un endomorphisme]]<br />
* [[Lemme de Morse ]]<br />
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]<br />
* [[Décomposition de Bruhat]]<br />
* [[Décomposition de Dunford]]<br />
* [[Diagrammes de Young et réduction de Jordan]]<br />
* [[Ellipsoïde de John-Lœwner]]<br />
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]<br />
* [[Formes de Hankel]]<br />
* [[Isomorphisme entre M_n(K) et son dual]]<br />
* [[Lemme de Morse]]<br />
* [[Nombre de matrices diagonalisables sur Fq]]<br />
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]<br />
* [[Points extrémaux de la boule unité de L(E) ]]<br />
* [[Réduction des matrices normales]]<br />
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]<br />
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]<br />
* [[Surjectivité de l'exponentielle matricielle]]<br />
* [[Théorème de Burnside]]<br />
* [[Théorème de Cartan-Dieudonné]]<br />
* [[Théorème de Frobenius-Zolotarev]]<br />
* [[Théorème de Molien]]<br />
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]<br />
* [[Une méthode itérative de résolution de systèmes linéaires]]<br />
<br />
=== Anneaux, arithmétique, dénombrement ===<br />
* [[Algorithme des facteurs invariants]]<br />
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]<br />
* [[Borne de Bézout]]<br />
* [[Décomposition de Dunford]]<br />
* [[Équation de Fermat pour n=3]]<br />
* [[Groupes d'ordre pq]]<br />
* [[Nombres de Bell]]<br />
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]<br />
* [[Partitions d'un entier en parts fixées]]<br />
* [[Primalité des nombres de Mersenne]]<br />
* [[Probabilité que deux entiers soient premiers entre eux]]<br />
* [[Sous-groupes finis de SO(3)]]<br />
* [[Théorème de Gauß pour les polygones réguliers constructibles]]<br />
* [[Théorème de Kronecker]]<br />
* [[Théorème de Rothstein-Trager]]<br />
* [[Théorème des deux carrés]]<br />
* [[Une version faible du théorème de Dirichlet]]<br />
<br />
=== Géométrie ===<br />
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]<br />
* [[Classification des groupes de pavage du plan]]<br />
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]<br />
* [[Ellipse de Steiner]]<br />
* [[Groupe circulaire]]<br />
* [[Inégalité isopérimétrique]]<br />
* [[Isométries du cube]]<br />
* [[Le folium de Descartes]]<br />
* [[Le paradoxe de Banach-Tarski]]<br />
* [[Points extrémaux de la boule unité de L(E)]]<br />
* [[Simplicité de SO(3)]]<br />
* [[Sous-groupes finis de SO(3)]]<br />
* [[Théorème de Caratheodory]]<br />
* [[Théorème de Cartan-Dieudonné]])<br />
* [[Théorème de Gauß pour les polygones réguliers constructibles]]<br />
* [[Théorème de Hahn-Banach]]<br />
* [[Théorème de Jordan]]<br />
* [[Théorème de Krein-Milman]]<br />
* [[Théorème des quatre sommets]]<br />
<br />
=== Théorie des corps, irréductibilité, primalité ===<br />
* [[Irréductibilité des polynômes cyclotomiques]]<br />
* [[Loi de réciprocité quadratique]]<br />
* [[Polynômes irréductibles sur Fq]]<br />
* [[Primalité des nombres de Mersenne]]<br />
* [[Théorème de Chevalley-Warning]]<br />
* [[Théorème de d'Alembert-Gauss]]<br />
* [[Théorème de Gauß pour les polygones réguliers constructibles]]<br />
* [[Théorème de Kronecker]]<br />
* [[Théorème de l'élément primitif]]<br />
* [[Théorème de Wedderburn]]<br />
<br />
=== Théorie des groupes ===<br />
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]<br />
* [[Automorphismes de ZnZ]]<br />
* [[Décomposition de Bruhat]]<br />
* [[Groupes d'ordre 12]]<br />
* [[Isométries du cube]]<br />
* [[Le paradoxe de Banach-Tarski]]<br />
* [[Loi de réciprocité quadratique]]<br />
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]<br />
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]<br />
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]<br />
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]<br />
* [[Sous-groupes finis de SO(3)]]<br />
* [[Tables de caractères]]<br />
* [[Théorème de Burnside]]<br />
* [[Théorème de Cartan-Von Neumann]]<br />
* [[Théorème de Frobenius sur les représentations]]<br />
* [[Théorème de Frobenius-Zolotarev]]<br />
* [[Théorème de Gauß pour les polygones réguliers constructibles]]<br />
* [[Théorème de Lie-Kolchin]]<br />
* [[Théorème de Molien]]<br />
* [[Théorème de Sylow]]<br />
<br />
= Analyse =<br />
<br />
=== Analyse fonctionelle et distributions ===<br />
* [[Densité des fonctions continues nulle part dérivables]]<br />
* [[Densité des polynômes orthogonaux]]<br />
* [[Dérivée des fonctions lipschitziennes]]<br />
* [[Formule d'inversion de Fourier]]<br />
* [[Projection dans un espace de Hilbert]]<br />
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]<br />
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]<br />
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]<br />
* [[Théorème d'Ascoli]]<br />
* [[Théorème d'échantillonnage de Shannon]]<br />
* [[Théorème de Benedicks]]<br />
* [[Théorème de Cartan-Von Neumann]]<br />
* [[Théorème de Fejér]]<br />
* [[Théorème de Riesz - Fischer]]<br />
* [[Théorème de Hahn-Banach]]<br />
* [[Théorème de Helly]]<br />
* [[Théorème de Riesz-Fréchet-Kolmogorov]]<br />
* [[Un espace de Sobolev]]<br />
<br />
=== Analyse numérique, méthodes d'approximation ===<br />
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])<br />
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])<br />
* [[Méthode de Newton]]<br />
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])<br />
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])<br />
<br />
=== Calcul différentiel et fonctions holomorphes ===<br />
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])<br />
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])<br />
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])<br />
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])<br />
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])<br />
* [[Inégalités de Kolmogorov]]<br />
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])<br />
* [[Lemme de Morse]]<br />
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])<br />
* [[Méthode de Newton]]<br />
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])<br />
* [[Surjectivité de l'exponentielle matricielle]]<br />
* [[Théorème d'inversion locale]]<br />
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])<br />
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])<br />
* [[Théorème de Hadamard-Lévy]]<br />
* [[Théorème de Jordan]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]<br />
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])<br />
* [[Théorème des fonctions implicites]]<br />
<br />
=== Équations différentielles ===<br />
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])<br />
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]<br />
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])<br />
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]<br />
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]<br />
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])<br />
* [[Théorème de Cauchy-Lipschitz]]<br />
* [[Théorème de Hadamard-Lévy]]<br />
* [[Théorème de stabilité de Lyapounov]]<br />
<br />
=== Intégration ===<br />
* Critère de Weyl ([[Fichier:Tex.png|alt=Tex|link={{filepath: Critere_Weyl.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Critere_Weyl.pdf}} |24px]])<br />
* [[Formule d'inversion de Fourier]]<br />
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]<br />
* [[Intégrale de Fresnel]]<br />
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])<br />
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])<br />
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])<br />
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])<br />
* [[Théorème d'échantillonnage de Shannon]]<br />
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])<br />
* [[Théorème de Fejér]]<br />
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])<br />
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]<br />
* Un exemple de calcul d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Calcul_integrale.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Calcul_integrale.pdf}} |24px]])<br />
<br />
=== Probabilités ===<br />
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])<br />
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]<br />
* [[Etude de la loi Gamma]]<br />
* [[Marche aléatoire sur Z]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]<br />
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])<br />
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])<br />
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])<br />
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])<br />
* [[Théorème de Weierstrass via les probabilités]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]<br />
<br />
=== Topologie ===<br />
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]<br />
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])<br />
* [[Ellipsoïde de John-Lœwner]]<br />
* [[Lemme de Morse]]<br />
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]<br />
* [[Théorème d'Ascoli]]<br />
* [[Théorème de Banach-Steinhaus et application aux séries de Fourier]]<br />
* Théorème de Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])<br />
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])<br />
* [[Théorème de Fejér]]<br />
* [[Théorème de Jordan]]<br />
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]<br />
* [[Théorème de Müntz]]<br />
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])<br />
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])<br />
<br />
= Non classés =<br />
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])<br />
<br />
= Informatique =<br />
=== Algorithmique et structures de données ===<br />
* [[2SAT est décidable en temps linéaire]]<br />
* [[Arbres binaires de recherche optimaux]]<br />
* [[Automate des occurrences]]<br />
* [[Hachage parfait]]<br />
* [[Plus longue sous-séquence commune]]<br />
* [[Algorithme d'unification]]<br />
* [[Tri polyphasé]]<br />
* [[Transformée de Fourier rapide]]<br />
* [[Algorithme de Hopcroft]]<br />
<br />
=== Complexité ===<br />
* [[2SAT est décidable en temps linéaire]]<br />
* [[Problème de séparation par automates]]<br />
* [[Universalité d'un langage rationnel]]<br />
* [[Théorème de Cook]]<br />
<br />
=== Décidabilité & Calculabilité ===<br />
* [[Théorème de Rice]]<br />
* [[Décidabilité de l'arithmétique de Presburger]]<br />
* [[Une fonction calculable est récursive]]<br />
<br />
=== Langages formels ===<br />
* [[Automate des occurrences]]<br />
* [[Arithmétique de Presburger]]<br />
* [[Langage de pile d'un automate à pile]]<br />
* [[Problème de séparation par automates]]<br />
* [[Universalité d'un langage rationnel]]<br />
* [[Analyse LR(0)]]<br />
* [[Algorithme CYK]]<br />
* [[Algorithme de Hopcroft]]<br />
* [[Théorème de Parikh]]<br />
<br />
=== Logique ===<br />
* [[Compacité du calcul propositionnel]]<br />
* [[Arithmétique de Presburger]]<br />
* [[Fonction d'Ackermann]]<br />
* [[Algorithme d'unification]]<br />
* [[Complétude de la méthode de résolution]]<br />
* [[Exemple d'un programme PROLOG]]<br />
* [[Théorème de Lowenheim-Skolem]]<br />
<br />
=== Réécriture ===<br />
* [[Théorème de Higman]]<br />
* [[Algorithme d'unification]]<br />
* [[Ordre de simplification / Lemme de Highman / Théorème de Kruskal]]</div>Frédéric Valethttps://minerve.ens-rennes.fr/index.php?title=Th%C3%A9or%C3%A8me_de_Higman&diff=2823Théorème de Higman2015-03-31T12:54:26Z<p>Frédéric Valet : /* Développement */</p>
<hr />
<div>Les antichaînes sont finies.<br />
<br />
== Développement ==<br />
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_higman.tex | Théorème de Higman]]<br />
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_higman.pdf | Théorème de Higman]]<br />
<br />
== Recasements ==<br />
* [[909 -- Langages rationnels. Exemples et applications.]]<br />
<br />
== Références ==<br />
* Bruno Petazzoni, 16 problèmes d'informatique<br />
<br />
<br />
[[Category: Développement de la leçon 909]]</div>Frédéric Valethttps://minerve.ens-rennes.fr/index.php?title=Th%C3%A9or%C3%A8me_de_Higman&diff=2817Théorème de Higman2015-03-31T11:00:06Z<p>Frédéric Valet : /* Développement */</p>
<hr />
<div>Les antichaînes sont finies.<br />
<br />
== Développement ==<br />
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_higman.tex | Théorème de Higman]]<br />
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_higman.pdf | Théorème de Higman]]<br />
<br />
<br />
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_higman_2.tex | Théorème de Higman]]<br />
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_higman_2.pdf | Théorème de Higman]]<br />
<br />
== Recasements ==<br />
* [[909 -- Langages rationnels. Exemples et applications.]]<br />
<br />
== Références ==<br />
* Bruno Petazzoni, 16 problèmes d'informatique<br />
<br />
<br />
[[Category: Développement de la leçon 909]]</div>Frédéric Valet