Développements par thèmes : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
(Non classés)
(Probabilités)
 
(138 révisions intermédiaires par 11 utilisateurs non affichées)
Ligne 11 : Ligne 11 :
 
=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
 
=== Algèbre linéaire, bilinéaire, réduction d'endomorphismes ===
 
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
 
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* 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]])
+
* [[Algorithme des facteurs invariants]]
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
+
* [[Commutant d'un endomorphisme]]
* 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]])
+
* [[Lemme de Morse ]]
 +
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
 
* [[Décomposition de Bruhat]]
 
* [[Décomposition de Bruhat]]
 
* [[Décomposition de Dunford]]
 
* [[Décomposition de Dunford]]
 +
* [[Diagrammes de Young et réduction de Jordan]]
 
* [[Ellipsoïde de John-Lœwner]]
 
* [[Ellipsoïde de John-Lœwner]]
 
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
 
* [[Endomorphismes cycliques, invariants de similitude et réduction de Frobenius]]
 +
* [[Formes de Hankel]]
 
* [[Isomorphisme entre M_n(K) et son dual]]
 
* [[Isomorphisme entre M_n(K) et son dual]]
* [[Lemme de Morse]]
+
* [[Nombre de matrices diagonalisables sur Fq]]
* 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]])
+
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:ConvOn.pdf | Points extrémaux de la boule unité de L(E) ]]
+
* [[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]])
+
* [[Réduction des matrices normales]]
 +
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
 
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
 
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* Surjectivité de l'exponentielle ([[Fichier:Tex.png|alt=Tex|link=Média:Exponentielle.tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: SurjectiviteExponentielle.pdf |24px]])
+
* [[Surjectivité de l'exponentielle matricielle]]
* 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 Burnside]]
 +
* [[Théorème de Cartan-Dieudonné]]
 
* [[Théorème de Frobenius-Zolotarev]]
 
* [[Théorème de Frobenius-Zolotarev]]
 +
* [[Théorème de Molien]]
 +
* [[Un homéomorphisme réalisé par l'exponentielle matricielle]]
 +
* [[Une méthode itérative de résolution de systèmes linéaires]]
  
 
=== Anneaux, arithmétique, dénombrement ===
 
=== Anneaux, arithmétique, dénombrement ===
* 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]])
+
* [[Algorithme des facteurs invariants]]
 +
* [[Automorphismes de ZnZ | Automorphismes de <math>\mathbb{Z}/n\mathbb{Z}</math>]]
 +
* [[Borne de Bézout]]
 +
* [[Comportement des nombres premiers dans un corps de nombre]]
 
* [[Décomposition de Dunford]]
 
* [[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]])
+
* [[Équation de Fermat pour n=3]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Bell.pdf | Nombres de Bell]]
+
* [[Groupes d'ordre pq]]
 +
* [[Nombres de Bell]]
 +
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
 +
* [[Partitions d'un entier en parts fixées]]
 
* [[Primalité des nombres de Mersenne]]
 
* [[Primalité des nombres de Mersenne]]
 
* [[Probabilité que deux entiers soient premiers entre eux]]
 
* [[Probabilité que deux entiers soient premiers entre eux]]
* Sous groupes finis de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Sous_groupes_finis_SO3.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Sous_groupes_finis_SO3.pdf |24px]])
+
* [[Sous-groupes finis de SO(3)]]
 
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
 
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* Théorème des deux carrés ([[Fichier:Tex.png|alt=Tex|link=Média:deux_carres.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: deux_carres.pdf |24px]])
+
* [[Théorème de Kronecker]]
* 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]])
+
* [[Théorème de Rothstein-Trager]]
 +
* [[Théorème des deux carrés]]
 +
* [[Une version faible du théorème de Dirichlet]]
 +
* [[Dénombrement des polynomes irréductibles unitaires sur Fp]]
 +
* [[Loi de réciprocité quadratique]]
  
 
=== Géométrie ===
 
=== Géométrie ===
 
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
 
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
* 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]])
+
* [[Classification des groupes de pavage du plan]]
* 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]])
+
* [[Convergence d'une suite de polygônes vers l'isobarycentre]]
* 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]])
+
* [[Ellipse de Steiner]]
 +
* [[Groupe circulaire]]
 +
* [[Inégalité isopérimétrique]]
 +
* [[Isométries du cube]]
 
* [[Le folium de Descartes]]
 
* [[Le folium de Descartes]]
 
* [[Le paradoxe de Banach-Tarski]]
 
* [[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) ]]
+
* [[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]])
+
* [[Simplicité de SO(3)]]
* Sous groupes finis de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Sous_groupes_finis_SO3.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Sous_groupes_finis_SO3.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 Caratheodory]]
* 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 Cartan-Dieudonné]])
 
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
 
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* [[Théorème de Hahn-Banach en dimension finie]]
+
* [[Théorème de Hahn-Banach]]
* Théorème de Jordan ([[Fichier:Tex.png|alt=Tex|link=Média: Jordan.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Jordan.pdf |24px]])
+
* [[Théorème de Jordan]]
 +
* [[Théorème de Krein-Milman]]
 +
* [[Théorème des quatre sommets]]
  
 
=== Théorie des corps, irréductibilité, primalité ===
 
=== Théorie des corps, irréductibilité, primalité ===
* Irréductibilité des polynômes cyclotomiques ([[Fichier:Pdf.png|alt=Tex|link=Média: Cyclo.pdf |24px]])
+
* [[Comportement des nombres premiers dans un corps de nombre]]
* 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]])
+
* [[Irréductibilité des polynômes cyclotomiques]]
 +
* [[Loi de réciprocité quadratique]]
 +
* [[Polynômes irréductibles sur Fq]]
 
* [[Primalité des nombres de Mersenne]]
 
* [[Primalité des nombres de Mersenne]]
* 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 Chevalley-Warning]]
 +
* [[Théorème de d'Alembert-Gauss]]
 
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
 
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
* Théorème de Kronecker ([[Fichier:Tex.png|alt=Tex|link=Média:Kronecker.tex |24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média: Kronecker.pdf |24px]])
+
* [[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 l'élément primitif]]
* Théorème de Wedderburn ([[Fichier:Pdf.png|alt=Tex|link=Média: Wedderburn.pdf |24px]])
+
* [[Théorème de Wedderburn]]
  
 
=== Théorie des groupes ===
 
=== Théorie des groupes ===
 
* [[Action du groupe modulaire sur le demi-plan de Poincaré]]
 
* [[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]])
+
* [[Automorphismes de ZnZ]]
 
* [[Décomposition de Bruhat]]
 
* [[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]])
+
* [[Groupes d'ordre 12]]
 +
* [[Isométries du cube]]
 
* [[Le paradoxe de Banach-Tarski]]
 
* [[Le paradoxe de Banach-Tarski]]
* 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]])
+
* [[Loi de réciprocité quadratique]]
* 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]])
+
* [[Nombre de matrices diagonalisables sur Fq | Nombre de matrices diagonalisables sur <math>\mathbb{F}_q</math>]]
 +
* [[Simplicité de An | Simplicité de <math>\mathfrak{A}_n</math> ]]
 +
* [[Simplicité de SO(3) | Simplicité de <math>\mathcal{SO}(3)</math>]]
 
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
 
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
* Sous groupes finis de <math>\mathcal{SO}(3)</math> ([[Fichier:Tex.png|alt=Tex|link=Média:Sous_groupes_finis_SO3.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Sous_groupes_finis_SO3.pdf |24px]])
+
* [[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]])
+
* [[Tables de caractères]]
* 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]])
+
 
* [[Théorème de Burnside]]
 
* [[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 Cartan-Von Neumann]]
 +
* [[Théorème de Frobenius sur les représentations]]
 
* [[Théorème de Frobenius-Zolotarev]]
 
* [[Théorème de Frobenius-Zolotarev]]
 
* [[Théorème de Gauß pour les polygones réguliers constructibles]]
 
* [[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 Lie-Kolchin]]
* 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]])
+
* [[Théorème de Molien]]
 +
* [[Théorème de Sylow]]
  
 
= Analyse =
 
= Analyse =
  
 
=== Analyse fonctionelle et distributions ===
 
=== Analyse fonctionelle et distributions ===
* 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]])
+
* [[Densité des fonctions continues nulle part dérivables]]
* 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]])
+
* [[Densité des polynômes orthogonaux]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Fourier.pdf | Formule d'inversion de Fourier]]
+
* [[Dérivée des fonctions lipschitziennes]]
* 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]])
+
* [[Formule d'inversion de Fourier]]
 +
* [[Projection dans un espace de Hilbert]]
 +
* [[Réduction des opérateurs compacts symétriques dans un Hilbert]]
 
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
 
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* 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]])
+
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
 +
* [[Théorème d'Ascoli]]
 +
* [[Théorème d'échantillonnage de Shannon]]
 +
* [[Théorème de Benedicks]]
 +
* [[Théorème de Cartan-Von Neumann]]
 
* [[Théorème de Fejér]]
 
* [[Théorème de Fejér]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Riesz-fischer.pdf | Théorème de Fischer - Riesz]]
+
* [[Théorème de Riesz - Fischer]]
* [[Théorème de Hadamard-Lévy]]
+
* [[Théorème de Hahn-Banach]]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | Un espace de Sobolev]]
+
* [[Théorème de Helly]]
 +
* [[Théorème de Riesz-Fréchet-Kolmogorov]]
 +
* [[Un espace de Sobolev]]
  
 
=== Analyse numérique, méthodes d'approximation ===
 
=== Analyse numérique, méthodes d'approximation ===
* Dérivée des fonctions lipschitziennes ([[Fichier:Tex.png|alt=Tex|link=Média:Gradient_optimal.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Gradient_optimal.pdf |24px]])
+
* Convergence de la méthode de gradient à pas optimal (+Kantorovitch) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Gradient_optimal.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Gradient_optimal.pdf}} |24px]])
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]])
+
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
 
* [[Méthode de Newton]]
 
* [[Méthode de Newton]]
 +
* Série harmonique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Série_harmonique.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Série_harmonique.pdf}} |24px]])
 +
* Une méthode itérative de résolution de systèmes linéaires ([[Fichier:Tex.png|alt=Tex|link={{filepath:Inverse_methode_iterative.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Inverse_methode_iterative.pdf}} |24px]])
  
 
=== Calcul différentiel et fonctions holomorphes ===
 
=== Calcul différentiel et fonctions holomorphes ===
* 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]])
+
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.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]])
+
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
* 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]])
+
* Densité des polynômes orthogonaux ([[Fichier:Tex.png|alt=Tex|link={{filepath: densite_polynomes_orthogonaux.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: densite_polynomes_orthogonaux.pdf}} |24px]])
 +
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
 +
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
 +
* [[Inégalités de Kolmogorov]]
 +
* Lemme de Borel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Borel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Borel.pdf}} |24px]])
 
* [[Lemme de Morse]]
 
* [[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]])
+
* [[Lemme de Scwharz et automorphismes du disque]] ([[Fichier:Tex.png|alt=Tex|link={{filepath:Lemme de Schwarz et automorphismes du disque.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Lemme de Schwarz et automorphismes du disque.pdf}} |24px]])
 +
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
 
* [[Méthode de Newton]]
 
* [[Méthode de Newton]]
* Surjectivité de l'exponentielle ([[Fichier:Tex.png|alt=Tex|link=Média:Exponentielle.tex|24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: SurjectiviteExponentielle.pdf |24px]])
+
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
* Théorème 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]])
+
* [[Surjectivité de l'exponentielle matricielle]]
* 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 d'inversion locale]]
 +
* Théorème de D'Alembert-Gauss ([[Fichier:Tex.png|alt=Tex|link={{filepath:DAlembert-Gauss.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath: DAlembert-Gauss.pdf}} |24px]])
 +
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
 +
* [[Théorème de Hadamard-Lévy]]
 +
* [[Théorème de Jordan]]
 
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Montel.pdf | Théorème de Montel]]
 
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média: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]]
 
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:TEL.pdf | Théorème des extrema liés]]
 +
* Théorème des extrema liée (avec utilisation du théorème des sous-variétés) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Extrema_liés_ssvar.pdf}} |24px]])
 +
* [[Théorème des fonctions implicites]]
  
 
=== Équations différentielles ===
 
=== Équations différentielles ===
 +
* Courbe brachistochrone ([[Fichier:Tex.png|alt=Tex|link={{filepath:Courbe brachistochrone.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Courbe brachistochrone.pdf}} |24px]])
 +
* Équation de Bessel ([[Fichier:Tex.png|alt=Tex|link={{filepath:Equation_de_Bessel.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Equation_de_Bessel.pdf}} |24px]])
 +
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H-M.pdf | Équation de Hill-Mathieu]]
 +
* Étude asymptotique d'une suite de polynômes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Étude_asymptotique_suite_polynômes.pdf}} |24px]])
 
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
 
* [[Solution elementaire de l'equation de Schrodinger | Solution élémentaire de l'équation de Schrodinger]]
* 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]])
+
* [[Sous-espaces de C(R,C) de dimension finie stables par translations]]
 +
* Théorème de Cauchy-Arzela-Peano ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cauchy_arzela_peano.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Cauchy_arzela_peano.pdf}} |24px]])
 
* [[Théorème de Cauchy-Lipschitz]]
 
* [[Théorème de Cauchy-Lipschitz]]
 +
* [[Théorème de Hadamard-Lévy]]
 
* [[Théorème de stabilité de Lyapounov]]
 
* [[Théorème de stabilité de Lyapounov]]
 +
* [[Système de Lotka-Volterra]]
 +
* [[Solutions prolongeables de l'équation de Legendre]][https://valentinkil.github.io/files/pdf/Legendre.pdf]
  
 
=== Intégration ===
 
=== 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]])
+
* [[Critère de Weyl]] [https://valentinkil.github.io/files/pdf/Weyl.pdf]
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Fourier.pdf | Formule d'inversion de Fourier]]
+
* [[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]])
+
* Formule des compléments ([[Fichier:Tex.png|alt=Tex|link={{filepath:Formule_complements.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Formule_complements.pdf}} |24px]])
 
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
 
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:E-Mcb.pdf | Formule sommatoire d'Euler Maclaurin]]
 
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
 
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Poisson.pdf | Formule Sommatoire de Poisson]]
 
* [[Intégrale de Fresnel]]
 
* [[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 Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link=Média:MethodedeLaplace.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:MethodedeLaplace.pdf |24px]])
+
* [[Méthode de Laplace]]
* 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]])
+
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link=Média:Abel_angulaire.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Abel_angulaire.pdf |24px]])
+
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
 +
* [[Théorème d'échantillonnage de Shannon]]
 +
* Théorème de Benedicks ([[Fichier:Tex.png|alt=Tex|link={{filepath: Benedicks.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Benedicks.pdf}} |24px]])
 
* [[Théorème de Fejér]]
 
* [[Théorème de Fejér]]
 +
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
 +
* Théorème taubérien fort ([[Fichier:Tex.png|alt=Tex|link={{filepath: Tauberien_fort.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Tauberien_fort.pdf}} |24px]])
 
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Abel.pdf | Théorèmes d'Abel angulaire et taubérien faible]]
 
* [[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]])
+
* 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]])
 +
* [[Une autre méthode pour calculer la TF de la gaussienne]] [https://valentinkil.github.io/files/pdf/TFgauss.pdf]
  
 
=== Probabilités ===
 
=== 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]])
+
* Autour des variables aléatoires gaussiennes ([[Fichier:Tex.png|alt=Tex|link={{filepath: va_gaussiennes.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: va_gaussiennes.pdf}} |24px]])
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link=Média:Devdyadique.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média:Devdyadique.pdf |24px]])
+
* Bernoulli et développement dyadique ([[Fichier:Tex.png|alt=Tex|link={{filepath:Devdyadique.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Devdyadique.pdf}} |24px]])
 +
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:EMV.pdf | EMV de la loi uniforme]]
 +
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Ecarts.pdf | Estimation des grands écarts]]
 +
* [[Etude de la loi Gamma]]
 
* [[Marche aléatoire sur Z]]
 
* [[Marche aléatoire sur Z]]
* 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]])
+
* [[Marche aléatoire sur Z^d ]][https://valentinkil.github.io/files/pdf/MarcheAleatoire.pdf]
* 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]])
+
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Normaux.pdf | Nombres normaux]]
* Théorème de Weierstrass via les probabilités ([[Fichier:Tex.png|alt=Tex|link=Média: Bernstein_proba.tex |24px]],[[Fichier:Pdf.png|alt=Tex|link=Média: Bersntein_proba.pdf |24px]])
+
* Processur de Galton-Watson ([[Fichier:Tex.png|alt=Tex|link={{filepath: Galton-Watson.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Galton-Watson.pdf}} |24px]])
 +
* Ruine du joueur ([[Fichier:Tex.png|alt=Tex|link={{filepath: Ruinedujoueur.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Ruine.pdf}} |24px]])
 +
* Séries entières avec coupure p.s. ([[Fichier:Tex.png|alt=Tex|link={{filepath:Séries_entières_avec_coupure_ps.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Séries_entières_avec_coupure_ps.pdf}} |24px]])
 +
* Théorème central limite ([[Fichier:Tex.png|alt=Tex|link={{filepath: TCL.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: TCL.pdf}} |24px]])
 +
* [[Théorème de Weierstrass via les probabilités]]
 +
* [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Rademacher.pdf | Variables de Rademacher]]
 +
* [[Loi forte des grands nombres]][https://valentinkil.github.io/files/pdf/LGN.pdf]
  
 
=== Topologie ===
 
=== Topologie ===
 
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
 
* [[Lemme_de_Morse | Composantes connexes de l'ensemble des formes quadratiques non dégénérées.]]
 +
* Couronnes biholomorphes ([[Fichier:Tex.png|alt=Tex|link={{filepath:Couronnes biholomorphes.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Couronnes biholomorphes.pdf}} |24px]])
 
* [[Ellipsoïde de John-Lœwner]]
 
* [[Ellipsoïde de John-Lœwner]]
 
* [[Lemme de Morse]]
 
* [[Lemme de Morse]]
 
* [[Sous-groupes compacts de GL_n | Sous-groupes compacts de <math>GL_n</math>]]
 
* [[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 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 Brouwer en dimension 2 ([[Fichier:Tex.png|alt=Tex|link={{filepath: Brouwer.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: Brouwer.pdf}} |24px]])
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link=Média:Cartan_von_neumann.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Cartan_von_neumann.pdf |24px]])
+
* Théorème de Cartan-Von Neumann ([[Fichier:Tex.png|alt=Tex|link={{filepath:Cartan_von_neumann.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Cartan_von_neumann.pdf}} |24px]])
 
* [[Théorème de Fejér]]
 
* [[Théorème de Fejér]]
* Théorème de Jordan ([[Fichier:Tex.png|alt=Tex|link=Média: Jordan.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Jordan.pdf |24px]])
+
* [[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:Montel.pdf | Théorème de Montel]]
 
* [[Théorème de Müntz]]
 
* [[Théorème de Müntz]]
* 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]])
+
* Théorème de Riesz-Fréchet-Kolmogorov ([[Fichier:Tex.png|alt=Tex|link={{filepath: RFK.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath: RFK.pdf}} |24px]])
 +
* Théorème de Weierstrass (via les polynômes de Bernstein) ([[Fichier:Tex.png|alt=Tex|link={{filepath:Weierstrass.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Weierstrass.pdf}} |24px]])
  
 
= Non classés =
 
= 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]])
+
* [[Théorème de Glaeser]]
  
 
= Informatique =
 
= Informatique =
Ligne 171 : Ligne 247 :
 
* [[Plus longue sous-séquence commune]]
 
* [[Plus longue sous-séquence commune]]
 
* [[Algorithme d'unification]]
 
* [[Algorithme d'unification]]
 +
* [[Tri polyphasé]]
 +
* [[Transformée de Fourier rapide]]
 +
* [[Algorithme de Hopcroft]]
 +
 
=== Complexité ===
 
=== Complexité ===
 
* [[2SAT est décidable en temps linéaire]]
 
* [[2SAT est décidable en temps linéaire]]
Ligne 176 : Ligne 256 :
 
* [[Universalité d'un langage rationnel]]
 
* [[Universalité d'un langage rationnel]]
 
* [[Théorème de Cook]]
 
* [[Théorème de Cook]]
 +
* [[Approximations de problèmes NP-complets]]
  
=== Décidabilité ===
+
=== Décidabilité & Calculabilité ===
 
* [[Théorème de Rice]]
 
* [[Théorème de Rice]]
 +
* [[Arithmétique de Presburger]]
 +
* [[Une fonction calculable est récursive]]
 +
* [[Indécidabilité de la terminaison d'un système de réécriture]]
 +
 
=== Langages formels ===
 
=== Langages formels ===
 
* [[Automate des occurrences]]
 
* [[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]])
+
* [[Arithmétique de Presburger]]
* 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]])
+
* [[Langage de pile d'un automate à pile]]
 
* [[Problème de séparation par automates]]
 
* [[Problème de séparation par automates]]
 
* [[Universalité d'un langage rationnel]]
 
* [[Universalité d'un langage rationnel]]
 +
* [[Analyse LR(0)]]
 +
* [[Algorithme CYK]]
 +
* [[Algorithme de Hopcroft]]
 +
* [[Théorème de Parikh]]
 +
 
=== Logique ===
 
=== 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]])
+
* [[Compacité du calcul propositionnel]]
 +
* [[Arithmétique de Presburger]]
 
* [[Fonction d'Ackermann]]
 
* [[Fonction d'Ackermann]]
 
* [[Algorithme d'unification]]
 
* [[Algorithme d'unification]]
 
* [[Complétude de la méthode de résolution]]
 
* [[Complétude de la méthode de résolution]]
 
* [[Exemple d'un programme PROLOG]]
 
* [[Exemple d'un programme PROLOG]]
 +
* [[Théorème de Lowenheim-Skolem]]
  
 
=== Réécriture ===
 
=== Réécriture ===
 
* [[Théorème de Higman]]
 
* [[Théorème de Higman]]
 
* [[Algorithme d'unification]]
 
* [[Algorithme d'unification]]
 +
* [[Ordre de simplification / Lemme de Highman / Théorème de Kruskal]]

Version actuelle en date du 28 janvier 2023 à 09:11

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

Anneaux, arithmétique, dénombrement

Géométrie

Théorie des corps, irréductibilité, primalité

Théorie des groupes

Analyse

Analyse fonctionelle et distributions

Analyse numérique, méthodes d'approximation

  • Convergence de la méthode de gradient à pas optimal (+Kantorovitch) (Tex, Tex)
  • Méthode de Gauss d'approximation d'intégrale (Tex, Tex)
  • Méthode de Newton
  • Série harmonique (Tex, Tex)
  • Une méthode itérative de résolution de systèmes linéaires (Tex, Pdf)

Calcul différentiel et fonctions holomorphes

Équations différentielles

Intégration

Probabilités

Topologie

Non classés

Informatique

Algorithmique et structures de données

Complexité

Décidabilité & Calculabilité

Langages formels

Logique

Réécriture