Développements : Différence entre versions
Ligne 116 : | Ligne 116 : | ||
[[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | Un espace de Sobolev]] | [[Fichier:Pdf.png|alt=Pdf|link=|24px]] [[Média:H1.pdf | Un espace de Sobolev]] | ||
+ | |||
+ | * Intégrale de Fresnel | ||
== Développements mixtes == | == Développements mixtes == |
Version du 23 mai 2012 à 19:24
Certains d'entre nous tapent leurs développements. Vous pouvez, en plus des liens mis dans les pages leçons, les rassembler ici.
Pensez à ajouter les sources de vos développements : bien utile parfois !
Sommaire
Développements d'algèbre
Développements d'analyse
Bernoulli et développement dyadique
Le théorème de Weierstrass (via les polynômes de Bernstein)
-> Le même résultat en passant par les probabilités : (, )
Théorème de Brouwer en dimension 2 (, )
Un exemple de calcul d'intégrale
Théorème de Cauchy-Arzela-Peano
Autour des variables aléatoires gaussiennes (, )
Dérivée des fonctions lipschitziennes
Théorème de stabilité de Lyapounov
Méthode de Gauss d'approximation d'intégrale
Théorèmes d'Abel angulaire et taubérien faible
Formule sommatoire d'Euler Maclaurin
Formule d'inversion de Fourier
- Intégrale de Fresnel
Développements mixtes
Surjectivité de l'exponentielle
Théorème de Cartan Von Neumann
Convergence de la méthode de gradient à pas optimal (+Kantorovitch)
Composantes connexes de l'ensemble des formes quadratiques non dégénérées
Points extrémaux de la boule unité de L(E)
Développements d'informatique
- Langage de pile d'un automate à pile ( ; )
- Arithmétique de Presburger ( ; )
- Universalité d'un langage rationnel
- 2SAT est décidable en temps linéaire
- Plus longue sous-séquence commune
- Automate des occurrences
- Hachage parfait
- Arbres binaires de recherche optimaux
- Problème de séparation par automates
- Théorème de Rice
- Fonction d'Ackermann
- Théorème de Higman