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

De AgregmathKL
Aller à : navigation, rechercher
(Logique)
(Non classés)
(17 révisions intermédiaires par 5 utilisateurs non affichées)
Ligne 22 : Ligne 22 :
 
* [[Formes de Hankel]]
 
* [[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]]
 
* [[Nombre de matrices diagonalisables sur Fq]]
 
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
 
* [[Orthodiagonalisation des endomorphismes auto-adjoints]]
Ligne 55 : Ligne 54 :
 
* [[Théorème des deux carrés]]
 
* [[Théorème des deux carrés]]
 
* [[Une version faible du théorème de Dirichlet]]
 
* [[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 ===
Ligne 150 : Ligne 151 :
 
* 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 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]]
 +
* [[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 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]]
Ligne 184 : Ligne 186 :
 
* [[Intégrale de Fresnel]]
 
* [[Intégrale de Fresnel]]
 
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
 
* Méthode de Gauss d'approximation d'intégrale ([[Fichier:Tex.png|alt=Tex|link={{filepath:Methode_gauss.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Methode_gauss.pdf}} |24px]])
* Méthode de Laplace ([[Fichier:Tex.png|alt=Tex|link={{filepath:MethodedeLaplace.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:MethodedeLaplace.pdf}} |24px]])
+
* [[Méthode de Laplace]]
 
* 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]])
 
* Prolongement de la fonction <math>\Gamma</math> ([[Fichier:Tex.png|alt=Tex|link={{filepath:ProlongementGamma.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:ProlongementGamma.pdf}} |24px]])
 
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
 
* Théorème d'Abel angulaire ([[Fichier:Tex.png|alt=Tex|link={{filepath:Abel_angulaire.tex}} |24px]], [[Fichier:Pdf.png|alt=Pdf|link={{filepath:Abel_angulaire.pdf}} |24px]])
Ligne 228 : Ligne 230 :
  
 
= Non classés =
 
= Non classés =
* Théorème de Glaeser ([[Fichier:Tex.png|alt=Tex|link={{filepath:Glaeser.tex}} |24px]], [[Fichier:Pdf.png|alt=Tex|link={{filepath:Glaeser.pdf}} |24px]])
+
* [[Théorème de Glaeser]]
  
 
= Informatique =
 
= Informatique =
Ligne 239 : Ligne 241 :
 
* [[Algorithme d'unification]]
 
* [[Algorithme d'unification]]
 
* [[Tri polyphasé]]
 
* [[Tri polyphasé]]
 +
* [[Transformée de Fourier rapide]]
 +
* [[Algorithme de Hopcroft]]
  
 
=== Complexité ===
 
=== Complexité ===
Ligne 245 : Ligne 249 :
 
* [[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é & Calculabilité ===
 
=== Décidabilité & Calculabilité ===
 
* [[Théorème de Rice]]
 
* [[Théorème de Rice]]
 +
* [[Arithmétique de Presburger]]
 
* [[Une fonction calculable est récursive]]
 
* [[Une fonction calculable est récursive]]
 +
* [[Indécidabilité de la terminaison d'un système de réécriture]]
  
 
=== Langages formels ===
 
=== Langages formels ===
Ligne 257 : Ligne 264 :
 
* [[Universalité d'un langage rationnel]]
 
* [[Universalité d'un langage rationnel]]
 
* [[Analyse LR(0)]]
 
* [[Analyse LR(0)]]
 +
* [[Algorithme CYK]]
 +
* [[Algorithme de Hopcroft]]
 +
* [[Théorème de Parikh]]
  
 
=== Logique ===
 
=== Logique ===
Ligne 270 : Ligne 280 :
 
* [[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 du 28 août 2021 à 10:32

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