Développements par thèmes : Différence entre versions
De AgregmathKL
(→Équations différentielles) |
(→Intégration) |
||
| Ligne 125 : | Ligne 125 : | ||
=== 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 ([[Fichier:Tex.png|alt=Tex|link=Média: Critere_Weyl.tex |24px]], [[Fichier:Pdf.png|alt=Pdf|link=Média: Critere_Weyl.pdf |24px]]) | ||
| − | * | + | * [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:Fourier.pdf | 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: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=Média:Methode_gauss.tex |24px]], [[Fichier:Pdf.png|alt=Tex|link=Média:Methode_gauss.pdf |24px]]) | ||
| Ligne 135 : | Ligne 134 : | ||
* 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=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'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 de Fejér]] | * [[Théorème de Fejér]] | ||
| + | * [[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 === | === Probabilités === | ||
Version du 7 janvier 2013 à 23:48
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.
Sommaire
Algèbre
Algèbre linéaire, bilinéaire, réduction d'endomorphismes
- Action du groupe modulaire sur le demi-plan de Poincaré
- Commutant d'un endomorphisme (
, 
) - Composantes connexes de l'ensemble des formes quadratiques non dégénérées.
- Convergence d'une suite de polygônes vers l'isobarycentre (, )
- 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
- Orthodiagonalisation des endomorphismes auto-adjoints ( ; )
- Points extrémaux de la boule unité de L(E)
- Réduction des matrices normales (, )
- Sous-groupes compacts de
- Surjectivité de l'exponentielle (, )
- Théorème de Cartan-Dieudonné (, )
- Théorème de Frobenius-Zolotarev
Anneaux, arithmétique, dénombrement
- Automorphismes de
(, ) - Décomposition de Dunford
- Groupes d'ordre pq ( ; )
- Nombres de Bell
- Primalité des nombres de Mersenne
- Probabilité que deux entiers soient premiers entre eux
- Sous groupes finis de
(, ) - Théorème de Gauß pour les polygones réguliers constructibles
- Théorème des deux carrés ( ; )
- Une version faible du théorème de Dirichlet (, )
Géométrie
- Action du groupe modulaire sur le demi-plan de Poincaré
- Convergence d'une suite de polygônes vers l'isobarycentre (, )
- Ellipse de Steiner ( ; )
- Groupe circulaire ( ; )
- Le folium de Descartes
- Le paradoxe de Banach-Tarski
- Points extrémaux de la boule unité de L(E)
- Simplicité de (, )
- Sous groupes finis de (, )
- Théorème de Caratheodory ( ; )
- Théorème de Cartan-Dieudonné (, )
- Théorème de Gauß pour les polygones réguliers constructibles
- Théorème de Hahn-Banach en dimension finie
- Théorème de Jordan (, )
Théorie des corps, irréductibilité, primalité
- Irréductibilité des polynômes cyclotomiques ()
- Polynômes irréductibles sur
(, ) - Primalité des nombres de Mersenne
- Théorème de d'Alembert-Gauss ( ; )
- Théorème de Gauß pour les polygones réguliers constructibles
- Théorème de Kronecker ( ; )
- Théorème de l'élément primitif (, )
- Théorème de Wedderburn ()
Théorie des groupes
- Action du groupe modulaire sur le demi-plan de Poincaré
- Automorphismes de (, )
- Décomposition de Bruhat
- Groupes d'ordre 12 (, )
- Le paradoxe de Banach-Tarski
- Simplicité de
( ; ) - Simplicité de (, )
- Sous-groupes compacts de
- Sous groupes finis de (, )
- Table de caractères de
( ; ) - Table de caractères de
( ; ) - Théorème de Burnside
- Théorème de Cartan-Von Neumann (, )
- Théorème de Frobenius-Zolotarev
- Théorème de Gauß pour les polygones réguliers constructibles
- Théorème de Lie-Kolchin (, )
- Théorème de Sylow ( ; )
Analyse
Analyse fonctionelle et distributions
- Densité des polynômes orthogonaux (, )
- Dérivée des fonctions lipschitziennes (, )
- Formule d'inversion de Fourier
- Projection dans un espace de Hilbert (, )
- Solution élémentaire de l'équation de Schrodinger
- Théorème de Cartan-Von Neumann (, )
- Théorème de Fejér
- Théorème de Fischer - Riesz
- Théorème de Hadamard-Lévy
- Un espace de Sobolev
Analyse numérique, méthodes d'approximation
- Dérivée des fonctions lipschitziennes (, )
- Méthode de Gauss d'approximation d'intégrale (, )
- Méthode de Newton
Calcul différentiel et fonctions holomorphes
- Densité des polynômes orthogonaux (, )
- Formule des compléments (, )
- Lemme de Borel (, )
- Lemme de Morse
- Méthode de Laplace (, )
- Méthode de Newton
- Surjectivité de l'exponentielle (, )
- Théorème de D'Alembert-Gauss ( ; )
- Théorème de Cartan-Von Neumann (, )
- Théorème de Montel
- Théorème des extrema liés
Équations différentielles
- Solution élémentaire de l'équation de Schrodinger
- Théorème de Cauchy-Arzela-Peano (, )
- Théorème de Cauchy-Lipschitz
- Théorème de stabilité de Lyapounov
Intégration
- Critère de Weyl (, )
- Formule d'inversion de Fourier
- Formule des compléments (, )
- Formule sommatoire d'Euler Maclaurin
- Formule Sommatoire de Poisson
- Intégrale de Fresnel
- Méthode de Gauss d'approximation d'intégrale (, )
- Méthode de Laplace (, )
- Prolongement de la fonction
(, ) - Théorème d'Abel angulaire (, )
- Théorème de Fejér
- Théorèmes d'Abel angulaire et taubérien faible
- Un exemple de calcul d'intégrale (, )
Probabilités
- Autour des variables aléatoires gaussiennes (, )
- Bernoulli et développement dyadique (, )
- Marche aléatoire sur Z
- Ruine du joueur (, )
- Théorème central limite (, )
- Théorème de Weierstrass via les probabilités (,)
Topologie
- Ellipsoïde de John-Lœwner
- Composantes connexes de l'ensemble des formes quadratiques non dégénérées.
- Lemme de Morse
- Sous-groupes compacts de
- Théorème de Banach-Steinhaus et application aux séries de Fourier
- Théorème de Brouwer en dimension 2 (, )
- Théorème de Cartan-Von Neumann (, )
- Théorème de Fejér
- Théorème de Jordan (, )
- Théorème de Montel
- Théorème de Müntz
- Le théorème de Weierstrass (via les polynômes de Bernstein (, )
Non classés
- Le théorème de Glaeser (, )
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é
Langages formels
- Automate des occurrences
- Arithmétique de Presburger ( ; )
- Langage de pile d'un automate à pile ( ; )
- Problème de séparation par automates
- Universalité d'un langage rationnel
Logique
- Arithmétique de Presburger ( ; )
- Fonction d'Ackermann
- Algorithme d'unification
- Complétude de la méthode de résolution
- Exemple d'un programme PROLOG
