Développements : Différence entre versions

De AgregmathKL
Aller à : navigation, rechercher
m (Remplacement de texte — « link=Média:(.*)\.tex » par « link={{filepath:$1.tex}} »)
(Développements d'informatique)
Ligne 165 : Ligne 165 :
 
== Développements d'informatique ==
 
== Développements d'informatique ==
  
* Langage de pile d'un automate à pile ([[Fichier:Tex.png|alt=Tex|link={{filepath: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 ([[Fichier:Tex.png|alt=Tex|link={{filepath:Dvt_langage_de_pile.tex}} |24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath:Dvt_langage_de_pile.pdf}} |24px]])
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link={{filepath:Presburger.tex|24px]] ; [[Fichier:Pdf.png|alt=Tex|link=Média:Presburger.pdf}} |24px]])
+
* Arithmétique de Presburger ([[Fichier:Tex.png|alt=Tex|link={{filepath:Presburger.tex}}|24px]] ; [[Fichier:Pdf.png|alt=Tex|link={{filepath:Presburger.pdf}} |24px]])
 
* [[Universalité d'un langage rationnel]]
 
* [[Universalité d'un langage rationnel]]
 
* [[2SAT est décidable en temps linéaire]]
 
* [[2SAT est décidable en temps linéaire]]

Version du 27 janvier 2015 à 19:41

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 !

Développements d'algèbre

  • Automorphismes de {\mathbb  {Z}}/n{\mathbb  {Z}} (Tex)
  • Commutant d'un endomorphisme (Tex)
  • Ellipse de Steiner (Tex ; Tex)
  • Groupe circulaire (Tex ; Tex)
  • Groupes d'ordre 12 (Tex)
  • Irréductibilité des polynômes cyclotomiques (Tex)
  • Orthodiagonalisation des endomorphismes auto-adjoints (Tex ; Tex)
  • Polynômes irréductibles sur {\mathbb  {F}}_{q} (Tex)
  • Réduction des matrices normales (Tex)
  • Simplicité de {\mathfrak  {A}}_{n} (Tex ; Tex)
  • Sous groupes finis de {\mathcal  {SO}}(3) (Tex)
  • Théorème de Caratheodory (Tex ; Tex)
  • Théorème de Cartan-Dieudonné (Tex ; Tex)
  • Théorème de Kronecker (Tex ; Tex)
  • Théorème de l'élément primitif (Tex)
  • Théorème de Sylow (Tex ; Tex)
  • Théorème de Wedderburn (Tex)
  • Une version faible du théorème de Dirichlet (Tex)

Développements d'analyse

Tex Méthode de Laplace

Tex Prolongement de la fonction \Gamma

Tex Bernoulli et développement dyadique

Ruine du joueur (Tex, Pdf)

Tex Le théorème de Weierstrass (via les polynômes de Bernstein)

-> Le même résultat en passant par les probabilités : (Tex, Tex)

Tex Le théorème de Glaeser

Théorème de Brouwer en dimension 2 (Tex, Pdf)

Tex Lemme de Borel

Tex Théorème d'Abel angulaire

Tex Un exemple de calcul d'intégrale

Tex Théorème de Cauchy-Arzela-Peano

Critère de Weyl (Tex, Pdf)

Théorème central limite (Tex, Pdf)

Autour des variables aléatoires gaussiennes (Tex, Pdf)

Projection dans un espace de Hilbert (Tex, Pdf)

Tex Dérivée des fonctions lipschitziennes

Tex Formule des compléments

Tex Méthode de Gauss d'approximation d'intégrale

Pdf Théorèmes d'Abel angulaire et taubérien faible

Pdf Formule Sommatoire de Poisson

Pdf Théorème de Fischer - Riesz

Pdf Théorème de Montel

Pdf Formule sommatoire d'Euler Maclaurin

Pdf Formule d'inversion de Fourier

Pdf Estimation des grands écarts

Pdf Un espace de Sobolev

Développements mixtes

  • Convergence d'une suite de polygônes vers l'isobarycentre (Tex, Pdf)
  • Théorème de Jordan (Tex, Pdf)

Tex Lie-Kolchin

Tex Surjectivité de l'exponentielle

Tex Simplicité de SO(3)

Tex Théorème de Cartan Von Neumann

Tex Convergence de la méthode de gradient à pas optimal (+Kantorovitch)

Pdf Théorème des extrema liés

Pdf Nombres de Bell

Pdf Points extrémaux de la boule unité de L(E)

  • Théorème de d'Alembert-Gauss (Tex ; Tex)

Développements d'informatique