| Isomorphisme entre SO3 et SU2/Id |
| Calculabilité du Castor affairé |
| Résolution d'une EDO d'ordre 2 avec des séries entières |
| Equivalence des normes en dimension finie et théorème de Riesz |
| Loi de réciprocité quadratique (par les sommes de Gauss) |
| Symbole de Legendre (a/p) + applications |
| Sous-groupes transitifs de Sp résoluble (CNS) |
| Théorèmes de Mertens |
| Irréductibilité des polynômes cyclotomiques et Théorème de Kronecker |
| Coloriage d'une roue |
| Théorème de Tauber et Littlewood |
| Réduction des isométries. |
| Calcul de l'intégrale de log(x)^2/(1+x^2) sur R+ par les résidus et un contour en trou de serrure |
| Lemme des noyaux - Projecteurs spectraux |
| Surjectivité d'un polynome sur les nilpotents |
| Points extrémaux d'un ensemble convexe |
| Intersection de deux corps cyclotomiques |
| Principe du prolongement analytique, théorème des zéros isolés et applications |
| Théorème de Glaeser |
| Trois théorèmes de point fixe |
| Résolution de t^2 y'' - 2 y = 3 t^2 |
| Homomorphismes de groupes et d'anneaux de Z/mZ dans Z/nZ |
| Formule d'inversion de Pascal |
| Constructibilité du polygone régulier à p côtés |
| Résultant et courbes planes |
| Généralisation du théorème de Lambert |
| Transformée de Fourier d'une fraction rationnelle par le théorème des résidus |
| Théorème de Dandelin |
| Formules de Newton |
| Inégalités de Hadamard et de Minkowski |
| Décomposition de Dunford (version non algorithmique) |
| Surjectivité de l'exponentielle matricielle |
| Théorème de Von Neumann des sous-variétés |
| Équation de la chaleur sur le cercle |
| Loi de réciprocité quadratique (via les formes quadratiques) |
| Loi de réciprocité quadratique (par le résultant) |
| Théorème des deux carrés de Fermat (par les entiers de Gauss) |
| Lemme de Morse |
| Simplicité du groupe alterné An |
| Simplicité du groupe alterné (par les commutateurs) |
| Décomposition polaire |
| L'exponentielle induit un homéomorphisme entre Sn(R) et Sn(R)++ |
| C[X,Y]/(X^2+Y^2-1) est principal |
| Théorème de Chevalley-Warning |
| Action du groupe modulaire sur le demi-plan de Poincaré |
| Endomorphismes semi-simples |
| Théorème de Gauss (polygones constructibles) |
| Théorème taubérien fort |
| Théorème du relèvement |
| Processus de Galton-Watson (ou processus de branchement) |
| Théorème des lacunes d'Hadamard |
| Théorème de Pfister |
| Théorème d'Artin |
| Sous-groupes distingués et tables de caractères |
| Matrices diagonalisables sur un corps fini, critère de diagonalisibilité et dénombrement des matrices diagonalisables |
| Table de caractères de S4 et les isométries du tétraèdre |
| Algorithme de Berlekamp |
| Détermination du nombre de racines distinctes d'un polynôme |
| Classification des formes quadratiques sur Fq |
| Menelaüs et Ceva |
| Par cinq points passe une conique |
| Invariants de similitude (réduction de Frobenius) |
| Ellipse de Steiner |
| SO₃(R) et les quaternions |
| Théorème du point fixe de Kakutani et sous-groupes compacts de GLn(R) |
| Méthode du gradient conjugué |
| Chemin optique et calcul des variations |
| Points de Lebesgue d'une fonction L1 |
| Théorème de Müntz |
| Simplicité de SOn(R) |
| Théorème de Sylow (par récurrence sur le cardinal) |
| Enveloppe convexe de On(R) |
| Optimisation dans un Hilbert |
| Théorème d'uniformisation de Riemann (ou théorème de représentation conforme) |
| Formule des compléments |
| Billard convexe |
| Table des caractères de Dn |
| Chemin au dessus d'une courbe concave |
| Nullstellensatz via le résultant (théorème des zéros de Hilbert) |
| Théorème de Lüroth |
| Théorème de Brauer |
| Les automorphismes isométriques des l(p) |
| Étude qualitative de x' = x^2 - t |
| Théorème de Banach-Steinhaus et série de Fourier divergente |
| Densité des fonctions tests dans Lp |
| Théorème d'Hadamard Levy |
| Théorème de Sturm |
| Théorème de d'Alembert-Gauss |
| Réduction de Jordan d'un endomorphisme nilpotent |
| Isomorphisme entre PSU2(C) et SO₃(R) |
| Probabilité que deux nombres soient premiers entre eux |
| Théorème de l'application ouverte |
| Théorème de Cauchy-Lipschitz local |
| Théorème fondamentale de l'étude locale des courbes |
| Endomorphismes de Mn(C) stabilisant le groupe linéaire |
| Calcul de exp(Mn(C)) et exp(Mn(R)) |
| Densité des polynômes orthogonaux (base hilbertienne) |
| Résolution d'une équation matricielle grâce aux équations différentielles |
| Formule d'inversion de Fourier dans S(Rd) ou L(Rd) |
| Théorème de Fourier-Plancherel |
| Dimension du commutant |
| Galois inverse |
| Structure des polynômes symétriques |
| Théorème de Burnside |
| Test de Miller-Rabin |
| Caractères linéaires continues de U |
| Prolongement des caractères |
| Théorème de Paley-Wiener |
| Méthode de Newton-Raphson |
| Construction de l'exponentielle et de Pi |
| Courbe à courbure croissante et applications |
| Inégalité de Hoeffding |
| Méthode de Monte-Carlo |
| Statistiques d'ordre |
| Temps d'arrêt |
| Marche aléatoire dans Z^d |
| Théorème de Weierstrass (par les probabilités) |
| Fonctions caractéristiques et moments |
| Existence de l'espérance conditionelle |
| Equation de la chaleur sur un anneau |
| Fractions rationnelles et séries formelles |
| Théorème d'Abel angulaire |
| Théorème de Riesz-Fischer (a.k.a. Lp est complet) |
| Stabilité d'un système autonome |
| Cercle d'Euler |
| Théorèmes de Kakutani et Massera |
| Générateurs de O(E) |
| Équation fonctionnelle de la fonction zêta de Riemann |
| Théorème d'inversion locale |
| Formule de Poisson |
| Formule sommatoire de Poisson |
| Théorème de Borel |
| Théorème de Sophie-Germain |
| Irréductibilité des polyômes cyclotomiques sur Q |
| Loi de réciprocité de la puissance d-ième |
| Étude de la suite logistique : x(n+1) = 1 - a x(n)^2 |
| Méthodes itératives de résolution d'un système linéaire |
| Théorème de Barany |
| Théorème de Sylow (version opération de groupes) |
| Méthode de Newton |
| Méthode de Newton pour les polyômes |
| Inégalité isopérimétrique |
| Méthode des petits pas |
| Cauchy-Lipschitz global |
| Théorème de Frobenius-Zolotarev |
| Théorème de Wedderburn |
| Construction de variables aléatoires indépendantes de loi donnée |
| Réduction de Jordan (par la dualité) |
| Théorème du point fixe de Brouwer |
| A5 est l'unique groupe simple d'ordre 60 |
| Prolongement de la fonction Zeta de Riemann |
| Théorème de Jordan C1 |
| Fonction continue 2Pi-périodique dont la série de Fourier diverge en 0 |
| Ellipsoïde de John Loewner |
| Méthode de Laplace |
| Équation différentielle dans les espaces de Hölder |
| Équation de Schrödinger |
| Théorème de Bézout faible (par le résultant) |
| Nombre de solutions d'équations polynomiales sur Fq |
| Théorème de Witt |
| Densité des fonctions continues nulles part dérivables |
| Nombres de Bell |
| Partition d'un entier en parts fixées |
| Théorème de l'élement primitif |
| Nombres de Carmichael et théorème de Korselt |
| Calcul de trois intégrales |
| Méthode de relaxation |
| Résolution de y'' - y = H dans S'(R) |
| Théorème de Sard (version faible) |
| Réduction des endomorphismes normaux |
| Isomorphismes entre espaces de fonctions C(K) |
| Un développement limité |
| Équation de Fermat sur un corps fini |
| Structure des groupes abéliens finis |
| Injection compacte dans les espaces de Sobolev |
| Un isomorphisme entre groupes topologiques |
| Théorème de Morgenstern |
| Théorème de Cauchy-Peano |
| Le groupe SO3(R) est simple |
| Automorphismes de Sn |
| Générateurs du groupe Isom(E) |
| Théorème ergodique de Von Neumann |
| Suite récurrente : convergence lente |
| Topologie des classes de similitude |
| Diagonalisibilité et semi-simplicité |
| Théorème de Pascal |
| Théorème de Dirichlet faible |
| Table de caractères de D4 et H8 |
| Théorème de Molien |
| Point de Fermat-Torricelli |
| Équation de la chaleur et distributions |
| Théorème de Pascal (par le birapport) |
| Théorème de point fixe de Kakutani (par Hahn-Banach) |
| Preuve de la factorielle en logique de Hoare |
| Problème des moments de Hamburger |
| Théorème de réarrangement de Riemann |
| Théorème de Sharkovski |
| Translatés d'une fonction |
| Polynômes semi-symétriques |
| Théorème de Lax-Milgram et une application |
| Espaces hyperboliques |
| Birapport et homographies |
| Solutions développables en série entière de l'équation de Bessel |
| Développement asymptotique de la série harmonique |
| Application du Vandermonde |
| Automorphismes de K(X) |
| Géodésiques du demi plan de Poincarré |
| Lemme de Schwarz et biholomorphismes du disque |
| Construction des corps finis |
| Chemin auto-évitants |
| Critère de Weyl |
| Échantillonage de Shannon |
| Équation de Sylvester : AX + BX = C |
| Groupes d'ordre pq |
| Lemme de Kronecker et loi forte des grands nombres |
| Dual de Lp |
| Méthode de Jacobi pour le calcul des vecteurs propres |
| Morphisme d'algèbres sur C(K,R) |
| Groupe Circulaire |
| Théorème de Kronecker |
| Théorème de Dirichlet (fort) |
| Formule de Poisson discrète |
| Dobble et géométrie projective |
| S4 est un groupe de pavage |
| Transformée de Fourier rapide |
| Algorithme CYK |
| Algorithmes exponentiels pour INDEP |
| Algorithme de Floyd-Warshall |
| Algorithme KMP |
| Algorithme d'unification |
| Arbres Splay |
| Calcul de Premier et Suivant |
| Complétude de la méthode de résolution |
| Constructivité de la logique intuitionniste |
| Décidabilité de l'arithmétique de Presburger |
| Fonctions récursives et Turing calculabilité |
| Groupes totalement ordonnable |
| Indécidabilité de la confluence et de la terminaison |
| Algorithme de Kleene efficace |
| Médiane en temps linéaire |
| Problème du voyageur de commerce euclidien |
| Rationnalité du langage de pile |
| Recherche des facteurs à distance d'édition au plus k |
| Théorème de Cook |
| Théorie des ordres denses |
| Théorème d'Immerman-Szelepcsergi |
| Théorème de Rice |
| Tri par tas |
| Tri des suffixes |
| Automorphismes de Z/nZ |
| Théorème de Glivenko-Cantelli |
| Solution fondamentale de l'équation des ondes |
| Percolation |
| Méthode de Gauss et polynômes orthogonaux |
| Table de caractères de S4 par les isométries positives du cube, étude des sous-groupes distingués |
| Transformée de Fourier de la Gaussienne |
| Connexité de l'ensemble de Julia |
| Bicommutant |
| Invariants de Smith |
| Polynômes irréductibles sur Fq |
| Théorème central limite |
| Extrema liés |
| Equation de Hill-Mathieu |
| Nombre de zéros d'une équation différentielle |
| Etude de O(p,q) |
| Diagonalisation des opérateurs symétriques compacts |
| Inversion de la fonction caractéristique |
| Décomposition LU et décomposition de Cholesky |
| Théorème de Lie-Kolchin |
| Espace de Bergman du disque unité |
| Théorème de Koenigs |
| [L_p complet !! Doublon : ne pas utiliser] |
| Intégrale de Fresnel |
| Isomorphisme kleinien |
| Lemme de Grothendieck |
| Algorithme du gradient à pas optimal |
| Base de Burnside |
| Détermination des groupes d'isométries du cube et du tétraèdre |
| Cardinal du cône nilpotent |
| Théorème de Perron Frobenius pour les matrices à coefficients strictement positifs |
| Théorie de Polya |
| Opérateurs hypercycliques |
| Corollaire du théorème de Pascal (coniques) |
| Théorème de Banach-Alaoglu |
| Loi de réciprocité quadratique |
| Classes de similitude de GL2(Fq) [vide] |
| Théorème de Cartan-Dieudonné |
| Projection sur un convexe fermé |
| Théorème de Montel |
| Compacité forte dans Lp |
| Théorème de Stone-Weierstrass |
| Table de caractère de S3 et A4 |
| Générateurs de GL_n(K) et de SL_n(K) |
| Endomorphisme autoadjoint, réduction simultanée |
| Théorème de Fejer |
| Méthode de la phase stationnaire |
| Fonction caractéristique de Cauchy |
| Equation de Mordell y^2 = 2 + x^3 |
| Mise sous forme échelonnée |
| Groupe dérivé de Gln(K) (K,n) différent de (F2,2) |
| Caylay-Hamilton (fort) [vide] |
| Séries (non) commutativement convergente |
| Théorème de prolongement de Tietze |
| Un anneau principal non euclidien |
| Dénombrement des solutions d'une équation diophantienne |
| Sous-espace stable par translation |
| Conique et déterminant |
| Théorème de Gauss-Lucas |
| Plusieurs méthode de calcul de l'intégrale de Gauss |
| Etude de y''+qy=0 |
| Schéma numérique pour l'équation de la chaleur |
| Système proie-prédateur |
| Etude des polynômes alternés |
| Ordre moyen de l'indicatrice d'Euler et de $\sigma$ |
| Différentiabilité de l'exponentielle de matrices |
| Théorème de Bernstein pour les séries entières |
| Primalité des nombres de Mersenne |
| Formes de Hankel |
| Hahn-Banach géométrique |
| Théorème de Liapounov |
| Intégrale de Dirichlet |
| Caractérisation forme linéaire continue [vide] |
| Theorème de Schauder |
| Theorème de Householder et conséquence sur le rayon spectral |
| Jeu de pile ou face de Lebesgue |
| Caractérisation de la convergence en probabilités et L0 complet |
| Formule de Stirling (par le théorème central limite) |
| Classification des isométries du plan [vide] |
| Différentielle du déterminant |
| Fermat pour n=2 et 4 |
| Théorème d'Ascoli |
| Evènements rares de Poisson |
| Théorème de Cramér-Lévy |
| Lemme de Maschke |
| Estimateur du maximum de vraisemblance |
| Classification des groupes d'ordre 8 |
| C[X,Y]/(XY-1) est principal |
| Surjectivité de l'exponentielle complexe |
| Théorème de Helly |
| Diagonalisation des endomorphismes autoadjoints |
| Théorème de Prokhorov |
| Théorème de Carathéodory |
| Irrationalité de e et transcendance de la constante de Liouville |
| Hachage parfait |
| Analyse du tri rapide randomisé |
| Séparation par automate NP-complet |
| Théorème de Savitch |
| Application du théorème de compacité |
| Lemme des paires critiques |
| Exemple de grammaire LL(1) |
| Arbres binaires de recherche optimaux |
| Une involution est bijective |
| Théorème de cauchy-Lipschitz, via le Théorème des fonctions implicites |
| Connexité valeurs d'adhérence suite dans un compact |
| Une équation différentielle en dimension finie |
| Décompostion de Bruhat et drapeaux |
| Caractérisation loi normale |
| Eisenstein à plusieurs indéterminées |
| Jacobi ou Gauss-Seidel |
| Schéma aux différences finies pour une équation elliptique (en dim 1) |
| Théorème de sortie des compacts |
| Facteurs invariants |
| Combinatoire des chemins de Dyck |
| Matrices de transfert |
| Isomorphisme entre GLn(K) et GLm(L) |
| Sous-groupes arbitrairement petits de GLn(K) |
| Prolongement d'applications uniformément continues définies sur une partie dense |
| Suite de polygones |
| Un théorème de Cartan et Von Neumann |
| Le théorème de Gauss-Lucas et une application |
| Le dénombrement des polynômes irréductibles unitaires sur un corps fini |
| Des isomorphismes exceptionnels des groupes linéaires projectifs d'un corps fini |
| Théorème de Carathéodory et équations diophantiennes |
| Processus de Poisson |
| Points extrémaux de la boule unité de L(E) |
| Dénombrement des colorations du cube |
| Classification des groupes d'ordre p^2 |
| Condition de parité de Gale |
| Dénombrement des involutions |
| Equation de Pell-Fermat |
| Équation de Nagell-Ramanujan |
| Étude du theta-schéma pour l'équation de la chaleur |
| Groupes de pavages directs du plan |
| Méthode de Kacmarz |
| Méthode de la sécante |
| Etude de l'espace L1 dont la transformée de Fourier est L1 |
| Sous-espaces vectoriels de C(R,R) engendrés par les translatés |
| Table des caractères des groupes non abéliens d'ordre 8 |
| Postulat de Bertrand |
| Fonctions calculables en temps récursif primitif, énumérations des fonctions récursives primitives |
| Théorème de Lévy |
| Haussdorffien |
| Code [vide] |
| Équation de Legendre (par les séries entières) |
| Sous-groupes finis de S0(3) |
| Théorème de Cauchy-Lipschitz linéaire |
| Fonction dont la différentielle en tout point est une isométrie |
| A à pgcd implique A[X] à pgcd |
| Théorème du bicommutant et du commutant |
| Lemme de Sperner et théorème de Monsky |
| Irréductibilité, primalité du déterminant |
| Formule de Binet-Cauchy |
| Dimension maximale de sous-espaces de matrices de rang <=p |
| Fonctions caractéristiques de la loi normale et de Cauchy |
| Exponentielle loi sans mémoire |
| Critère d'Eisenstein |
| Injectivité, surjectivité d'une matrice à coefficients dans un anneau commutatif |
| Action de Steinitz |
| Théorème de Wantzel |
| Théorème de Cantor-Bernstein |
| Théorème des deux carrés de Fermat (méthode de dénombrement) |
| Théorème de Weierstrass (par la convolution) |
| Théorème de Liouville : Fermat pour les polynômes |
| Abel |
| Isomorphismes de groupes projectifs linéaires |
| Théorèmes de Dini et application au théorème de Glivenko-Cantelli |
| NP-Complétude de SUBSET-SUM |
| Sémantique dénotationelle de PCF |
| Continuité des racines d'une suite de polynomes |
| Algorithme de Faddeev |
| Algorithme de Prim |
| Correction de la logique de Hoare |
| Théorème central limite locale |
| Inégalité de Le Cam |
| Approximation polynomiale d'une fonction DSE |
| Algorithme de Hopcroft |
| Les fonctions récursives sont lambda-définissables |
| Fonctions récursives, fonctions lamba-calculables |
| Equivalence entre la sémantique dénotationelle et la sémantique opérationnelle |
| Solutions périodiques d'une ED pseudo périodique |
| Cardinaux de GLn(Fq) et de SLn(Fq) et proportion de matrices inversibles |
| Extrema de la fonction déterminant et matrices de Hadamard |
| La fonction d'Ackermann n'est pas récursive primitive |
| NP-Complétude de HAM-PATH |
| Construction d'un automate déterministe à partir d'une expression régulière |
| Algorithme de type principal |
| Tri fusion |
| Théorème de compacité du calcul propositionnel |
| Théorème de Ramsey |
| Complexité amortie des tableaux dynamiques |
| Algorithme de Bellman-Ford |
| Exemples de réduction polynomiale |
| Décomposition de Dunford (version algorithmique) #effectif #méthodeEuler |
| Jauge de Minkovski |
| Théorème de Steinhaus |
| Décomposition Polaire C infini difféomorphisme |
| Borne de Bézout |
| Arbres Zig-zag |
| Théorèmes d'Abel angulaire et taubérien faible |
| Isomorphisme de Harish-Chandra |
| Tout groupe abélien fini est quotient du groupe des unités d'un groupe cyclique |
| Inégalité de Hardy |
| Un système hyperbolique linéaire |
| Limite de variables aléatoires gaussiennes |
| Sommation d'Abel des séries de Fourier |
| Suite des sinus itérés |
| Problème de la fortune du joueur |
| Equation de la chaleur dans une barre |
| Résolution d'une EDPE |
| Théorème de Bernstein-Valiron |
| Etude asymptotique de la solution de l'équation de Bessel |
| Lemme de Morse et application |
| Etude des polynômes cyclotomiques |
| Formule de Burnside |
| Automate fini déterministe pour (a|b)^*abb |
| Insertion dans un arbre binaire de recherche |
| Construction d'un AFD reconnaissant une expression rationnelle |
| Séries de Fourier des applications continues |
| Prolongement des caractères et classification des groupes abéliens finis |
| Lemme des noyaux |
| Calcul de primitives par le théorème de résidus |
| Continuité des fonctions convexes |
| Étude de y'' + qy = 0 |
| Théorème de Cauchy-Lipschitz global |
| Théorème de Hardy |
| Théorème de Stampacchia |
| Théorème du point fixe de Picard |
| Ensembles sans sommes |
| Théorème de D'Alembert-Gauss par connexité |
| Représentations et sous-groupes distingués |
| Nombre de racines d'un polynôme par les formes quadratiques |
| Connexe non connexe par arcs |
| Endormorphismes de rang 2 |
| Intégrale de Dirichlet et séries de Fourier |
| Formule de Gauss pour la fonction Gamma d'Euler |
| Convergence vers la loi de Gumbel |
| Formules de Poisson et Shannon |
| Théorème de Chevalley-Warning + EGZ |
| Loi forte des grands nombres (Kolmogorov) |
| Décodage code cyclique par l'algorithme d'Euclide-Sugiyama |
| Méthode de Gauss Seidel |
| Intégrale sint e^-t/t |
| Théorème des événements rares |
| Base orthonormée des fonctions centrales |
| Master Theorem |
| Nombres de Catalan |
| Action à gauche |
| Théorème de Springer sur les formes quadratiques |
| Générateurs de Sn |
| Absence de mémoire de la loi exponentielle |
| Hahn Banach (version analytique) en dimension finie |
| Statistiques du nombre de cycles d'une permutation aléatoire |
| Théorème de Kolmogorov Khintchine |
| Lemme des noyaux, application |
| Continuité des racines d'un polynôme |
| Formule d'Euler-Maclaurin et applications |
| [doublon : Les normes sont équivalentes dans un R-ev de dimension finie] |
| Nombre de carrés dans Z/nZ |
| Nombre de matrice sur un corps finis de polynôme caractéristique donné |
| Une version du théorème de Muntz |
| Divergence de la série des inverses des nombres premiers |
| Développement asymptotique de suites definies par récurrence |
| Inégalités de Kolmogorov |
| Exemples d'anneaux principaux |
| Théorème de Runge |
| Inversibles de Z/p^nZ |
| Théorème fondamental de la géométrie affine |
| Injectivité de la transformée de Laplace |
| Quelques applications de la transformée de Fourier discrète |
| Théorèmes de Riesz et Lax-Milgram |
| Calcul exact de psi(p/q) |
| Existence du complété d'un espace métrique |
| Composantes connexes des formes quadratiques réelles |
| Théorèmes de point fixe compact |
| Densité des fonctions dérivables partout continues nulle part |
| Théorème de Chudnovsky |
| Compteurs probabilistiques |
| Théorème de Fermat, n=3 |
| Théorème de Kantorovich et algorithme du gradient à pas optimal |
| SO3(R) est un groupe simple, connexe et compact |
| Théorème d'Auerbach |
| Différentielle du déterminant, étude de SLn(R) comme sous-variété |
| Théorème de l'élément primitif en caractéristique 0 |
| Automorphismes de Z/p^aZ |
| Combinatoire matricielle (corps finis). Cône nilpotent. |
| Anneaux à PGCD et existence d'un PPCM |
| Eléments sans PGCD ou PPCM dans Z[i.sqrt(5)] |
| Formule d'inversion de Fourier dans L1 |
| Loi forte des grands nombres L^2 |
| Lemme de Gronwall et une application |
| Théorèmes de point fixe de Kleene et application |
| Résultant : L'ensemble des nombres algébriques est une k-algèbre |
| Théorème spectral |
| Critère de Hermite |
| Centre de gravité d'un arc de courbe et théorèmes de Guldin |
| Sémantique opérationnelle de constructions non séquentielles |
| Nullstellensatz via le Lemme de Zariski pour les corps indénombrables |
| Théorème de Krein-Milman |
| Lemme chinois et lemme des noyaux |
| Théorème de Stickelberger |
| Lemme de Siegel |
| Topologie du groupe orthogonal euclidien et décomposition polaire (cas non inversible) |
| Le problème du cycliste |
| Théorème de Darboux |
| Série génératrice des nombres de Bernoulli |
| Euclidien -> principal -> factoriel |
| Lemme d'Ore |
| Théorème de redressement des champs de vecteurs |
| Approximation polynomiale et matrices de Hilbert |
| Loi forte des grands nombres version Etemadi |
| Diagonalisation des formes quadratiques + classification sur R (Sylvester) |
| Générateurs de SL(E) et GL(E) |
| Formule de Stirling (par les intégrales de Wallis) |
| Critère de convergence des séries télescopiques |
| Nombre de monômes à plusieurs variables, avec condition sur les degrés en chaque variable |
| Théorème d'Artin (fonction Gamma) |
| Normes sur Q[sqrt(2)] |
| Lemme de division et applications |
| Algorithme de Gauss ( ≈ pivot de Gauss symétrique ) |
| Théorèmes de Cochran et de Fisher |
| Méthode des caractéristiques pour des équations de transport |
| Algorithme d'Euclide étendu et complexité |
| Lien entre les différents modes de convergence d'une variable aléatoire |
| Loi hypergéométrique et application |
| Implémentation de la beta-réduction dans une machine de Turing |
| Complexité moyenne du tri rapide |
| Théorème de Morley |
| Marche aléatoire sur Z/nZ |
| Suites de Sturm |
| Lemme de Scheffé et applications |
| Théorème de récurrence de Poincaré et application |
| Graphes et formules logiques : 2-SAT est NL-complet, CLIQUE est NP-complet |
| Problème de Dirichlet sur le demi-plan supérieur |
| Continuité d'une limite de suite de fonctions |
| Escalier de Cantor |
| Isomorphisme de groupes finis |
| Produit infini de fonctions holomorphes |
| Étude de la fonction Gamma sur la droite réelle |
| Formule d'Euler-Maclaurin et série harmonique |
| Etude du groupe Diédral |
| Théorème de Frobenius |
| Réduction simultanée de Matrices symétriques |
| Matrices symétriques et convexité |
| Autour du rayon spectral |
| Calcul de la distance d'édition |
| Universalité d'un langage rationnel |
| Correction des algorithmes de Prim et Kruskal |
| Principe des zéros isolés |
| Théorème de Baire et applications |
| Différentielle de la limite |
| De la formule de l'indice à D'Alembert Gauss |
| Isomorphisme entre O(pq) et O(p)O(q)R^pq |
| Factorisation LU par le Pivot de Gauss |
| Etude d'une équation de Riccati |
| Loi faible des grands nombres + Grandes déviations |
| Cercles de Chasles d'une ellipse |
| Orbites et PGCD des vecteurs de Z et action de GLn(Z) |
| Théorème de Calderon |
| Résolution de -u''+u=f sur le cercle |
| Sommes de Gauss et équations diophantiennes |
| Morphismes continus du cercle dans GLn(R) |
| Générateurs de O(E) et Isom(E) |
| Fonctions analytiques réelles |
| Réduction par bloc d'une isométrie |
| Résolution de l'équation de la chaleur par transformée de Fourier |
| Groupe d'ordre pq^2 |
| Lemme de Borel |
| Algorithme d'Edmonds-Karp |
| Dénombrement des matrices diagonalisables de Mn(Fq) |
| Dunford et l'exponentielle de matrice |
| Théorème du Point Fixe de Brouwer version différentielle |
| Table de caractères à valeurs entières (Condition suffisante pour que ton petit cousin lise ta table de caractères) |
| Théorème de Runge (version faible) |
| Dual de Mn(K) et application aux hyperplans |
| Équation de Schrödinger dans S(R) |
| Étude de la loi Gamma |
| Théorème de Lévy et TCL |
| Sous-groupes de (R,+) |
| Distance de Hausdorff, Théorème de Hutchinson |
| Inégalités de Weyl |
| Stabilité d'une EDL à coefficients périodiques |
| Borel-Lebesgue implique Bolzano-Weierstrass |
| Une condition suffisante de convexité |
| Fonction caractéristique C1 sans moment |
| Un isomorphisme entre groupes de Lie |
| Déterminant de Vandermonde, inégalité de Hadamard et application |
| Méthode QR |
| Solution de l'équation des ondes par moyennes sphériques |
| Théorème de Bernstein |
| Théorème de Lindeberg |
| Transformée de Fourier d'une gaussienne |
| Expression des zeta(2k) |
| Théorème de Vitali |
| Image numérique elliptique |
| Gradient à pas fixe |
| Représentation par permutation et formule de Burnside |
| Sphère de M_2(R) |
| Le grand théorème de Fermat est faux dans Z/pZ |
| A noetherien implique A[X] noetherien |
| K est un corps équivalent à K[X] principal |
| Polynômes et fractions rationnelles alternés |
| Règles de Bioche |
| Suites récurrentes linéaires : théorie et pratique |
| Idempotents et fonctions puissances de l'anneau Z/nZ |
| Déterminant de Vandermonde |
| Inégalité de Hoeffding et application à la convergence presque sûre |
| Confluence du lambda-Calcul |
| Ensembles de vecteurs presque orthogonaux |
| Une caractérisation de la loi exponentielle |
| Algorithme d'Aho-Corasick [no recasage] |
| Automate d'Antimirov |
| Correction de l'algorithme de Kruskal |
| Lemme de Zabrejko et applications |
| Théorème de Niemytzki-Tychonoff (aka théorème de Bing) |
| Dilemme des prisonniers |
| Logarithme discret |
| Alternative de Fredholm |
| Les fonctions récursives sont les fonctions calculables par machine de Türing |
| Polynômes à valeurs premières |
| Convergence de séries de variables aléatoires |
| Résolution de l'équation de Fermat dans les cas n=2 ou 4 |
| Étude d'une norme dans un Hilbert |
| Calcul de l'intégrale de 0 à +oo de t^(a-1) e^(it) dt |
| Théorème de la base télescopique et extension algébrique |
| Familles libres d'applications |
| PSLn(K) est simple |
| Classification des points fixes dans R |
| Théorème du rang constant |
| Théorème de la sous-formule |
| 3-SAT NP complet, 2-SAT dans P |
| Théorème de compacité, pas de théorie des ensembles finis, G kcoloriable ssi sous graphes finis le sont |
| Matroïdes et gloutons : appli arbres couvrants |
| Lemme de Zolotarev |
| Factorielle en lambda calcul avec l'aide de combinateur de point fixe |
| Théorie des matroïdes et une application |
| [An est simple : Doublon] |
| Un algorithme de programmation dynamique pour les polynômes d'interpolation de Lagrange |
| Dirichlet (série de Fourier) |
| Indécibilité de l'universalité d'un automate à pile |
| Coefficients binomiaux |
| Taille maximale d'une antichaine |
| Cyclicité du groupe multiplicatif d'un corps fini |
| Anneau des entiers de Gauss : euclidien |
| Famille d'endomorphismes simultanément diagonalisables |
| Polynômes cyclotomiques irréductibles |
| Cauchy Lipschitz avec point fixe |
| Théorème de Riesz |
| Application du théorème des résidus : calcul d'une intégrale |
| Racines de l'unité dans l'extension cyclotomique |
| Théorème de structure des groupes classiques |
| Irrationalité de pi |
| Les idéaux premiers de K[X,Y] |
| Inégalité sur le déterminant avec Sn(R) |
| Convexité logarithmique |
| Alignements de 4 points |
| Caractérisation des triangles équilatéraux |
| Groupe des isométries du cube [doublon] |
| Théorème de Maschke et lemme de Schur |
| Isomorphisme entre PGL(2,F5) et S5 |
| Méthode du gradient projeté |
| Morphismes continus du groupe GLn(C) vers le groupe C* |
| Composantes connexes de GLn(R) |
| Théorèmes de point fixe compact ( métrique ) |
| [Doublon : Théorème de Cauchy-Lipschitz linéaire] |
| Critère de nilpotence de Cartan |
| Compacité de On(R), décomposition polaire dans Mn(R) |
| Critère de Sylvester et applications |
| Dualité et Algèbre des matrices |
| Diagonalisabilité de l'exponentielle de matrice |
| Systèmes de congruences, cas général |
| Théorème de la limite simple de Baire |
| Algorithme d'Earley |
| Caractérisation réelle de Gamma avec la log convexité |
| Théorème de comparaison de Sturm |
| Étude des fonctions à variations bornées |
| Théorème de Bohr-Mollerup (par la méthode d'Artin) |
| Adhérence des racines de la matrice identité |
| Le groupe SO2(Fq) |
| Étude de la convergence d'une suite récurrente |
| Prolongement de la fonction Gamma d'Euler |
| Dérivation de l'algèbre des matrices carré |
| Compacts dans les espaces de Banach et théorème d'Ascoli |
| Contre-exemples de convergence de variables aléatoires |
| Formule d'Hadamard et un contre-exemple |
| Insertion dans un arbre B |
| LK (LJ) ⇒ NK (NJ) |
| Compacts dans un Banach |
| Condition nécessaire et suffisante pour que Z/nZ* soit cyclique |
| Etude asymptotique d'une suite définie implicitement |
| Stabilité du système X'=AX |
| Résolution de y''+y=|sinx| |
| Phénomène de Gibbs |
| Développement asymptotique d'une suite récurrente |
| Cyclicité du groupe (Z/pZ)^* |
| Théorème de Brouwer dans le plan euclidien |
| Transformée de Laplace et intégrale de Dirichlet |
| Théorème de Cauchy (groupes) |
| Théorème spectral et extrema |
| Point de Fermat d'un triangle |
| GLn(C) est dense, ouvert et connexe |
| Théorème de d'Alembert-Gauss par la compacité |
| Factorisation de Cholesky et Factorisation QR |
| Aho-Corasick |
| Trajectoire fermée sur un billard |
| Limite en loi de variables gaussiennes |
| Série génératrice d'une variable aléatoire et moments |
| Fonction C infini non triviale telle que f(x)^x = x^f(x) |
| Trigonalisation simultanée |
| [Doublon : Décomposition LU, Cholesky et QR] |
| Polynône minimal relativement à u |
| Matrice diagonale et polynôme annulateur sur un corps fini |
| Banach-Steinhaus et application famille d'opérateurs [no recasage] |
| Théorème de Wolstenholme |
| Méthode de Laplace (ordre pas forcément deux) |
| Famille Q-libre par la trace |
| Orthogonalisation sur un groupe abélien |
| Mes développements |
| Table de caractères des groupes non abéliens d'ordre 8 |
| Théorème de Polya |
| Critère d'Eisenstein + application à l'irréductibilité de $\Phi_p$ |
| Formule de Burnside + Double transitivité + Table de caractères de S4 |
| Condition de cyclicité des (Z/nZ)^x |
| Anneau des entiers algébriques et degré d'une représentation irréductible |
| Sous-groupes de Sylow de sg distingués et de groupes quotients |
| Volume et déterminant de Cayley-Menger |
| Critères de convexité d'une fonction différentiable, application à la recherche d'extremums |
| Théorème des moments |
| Déterminant et coniques |
| Nombre de relation d'équivalence |
| Suites définies par récurrence |
| Convergence de la méthode de relaxation |
| Simplicité de A5 |
| Table de caractère de S5 |
| Image de l'exponentielle matricielle |
| Convergence de lois binomiales vers une loi de Poisson |
| Etude de la convergence faible dans L^1(N) |
| Théorème de Weierstrass par l'approximation de Korovkin |
| Adhérence de l'ensemble des matrices réelles diagonalisables |
| Théorème d'approximation universelle pour les réseaux de neurones |
| Lemme de Gauss et application |
| Caractérisation des formes linéaires continues avec le noyau |
| Théorème de Banach-Steinhaus et de l'application ouverte |
| Théorème de Bohr Mollerup |
| [Galton-Watson : doublon] |
| [Homéomorphisme réalisé par l'exponentielle de matrices : doublon] |
| Dunford pour le calcul de rayon spectral |
| Points extrémaux de la boule unité |
| Abel angulaire et Taubérien faible |
| Endomorphismes normaux |
| Dénombrer les endo nilpotents sur un corps fini |
| Sous groupes compacts de GL(E) |
| Formule de Stirling généralisée |
| Cas particulier du théorème de Dirichlet |
| Fonction de Darboux |
| Théorème de Borel 2 |
| Critère de Weyl 2 |
| Formule de Poisson et intégrale de Gauss |
| Polynômes de Hermite |
| Décomposition polaire et connexité |
| EDL2 |
| Stabilité système à coefficients constants |
| Résolution de l'équation fonctionnelle f' = f^(-1) |
| Somme Gauss |
| Racines de l'unité dans Z/nZ |
| Théorème de Césaro sur les nombres premiers |
| [Doublon : Diagonalisibilité de l'exponentielle de matrices] |
| $Gl_n(\mathbb{C})$, $Sl_n(\mathbb{C})$, et $U_n(\mathbb{C})$ sont connexes par arcs |
| Complexité moyenne du tri rapide avec choix du pivot aléatoire |
| Les groupes finis sont isomorphes à leur bidual |
| Théorème de Kronecker-Weber faible |
| (Z/p^aZ)* est cyclique |
| Critère d'Eisenstein et application à l'irréductibilité de polynômes cyclotomiques |
| Résolution d'un système de congruence |
| Théorème de représentation de Riesz et application |
| Jeu de Berlekamp |
| Valeurs d'adhérence de la suite sin(n) |
| Calcul de l'intégrale de Gauss par une équation différentielle linéaire |
| Orthogonalisation simultanée de matrices |
| Formule de Cauchy, application à l'analycité des fonctions holomorphes |
| Combinatoire et dualité |
| Lemme des contenus de Gauss + Polynomes irreductibles de A[X] |
| Convergence de séries aléatoires et loi forte des grands nombres L2 |
| Propriétés de l'indice et application au calcul d'intégrale |
| Espace H1 et problème de Dirichlet |
| Polynômes cyclotomiques sur les corps finis |
| Autour de la semi-simplicité & extensions de corps [dvp vide] |
| [Le problème des moments : doublon] |
| Autour de la fonction Gamma [dvpt vide] |
| Structure topologique et différentielle de SLn(R) [dvpt vide] |
| Régularité du flot d'un champ de vecteurs globalement Lipschitzien en la seconde variable |
| Endomorphismes de Mn qui conservent le rang |
| Cardinal endomorphismes diagonalisables |
| Théorème de Riesz-Fréchet-Kolmogorov |
| Densité des matrices diagonalisables |
| Convergence des séries de Dirichlet |
| Déterminant d'une matrice stochastique |
| La récursion forte est primitive récursive |
| Unicité dans le théorème de structure des groupes abéliens finis |
| Equation de la chaleur par transformée de Fourier |
| Espace des fonctions lipschitziennes de [0,1] dans R |
| C est algébriquement clos (preuve par la réduction) |
| Déterminant de Gram, projection sur un sev et inégalité d'Hadamard |
| Solution fondamentale de l'équation de Schrödinger |
| Représentation des fonctions lipschitziennes |
| Topologie de l'ensemble des matrices de rang r |
| Deux équations diophantiennes : le problème des canards |
| Nombre de racines d’un polynôme et formes quadratiques |
| Deux matrices semblables dans C le sont dans R. Plus généralement : semblable dans L extension de K corps infini implique semblable dans K |
| Théorème des restes chinois. Application à l'exo des pirates |
| Formules de Fourier sur S' (en particulier la dérivation) |
| La transformée de Fourier sur L^2(R) |
| Classification des applications orthogonales en dimension 3 |
| Classification des isométries affines en dimension 3 |
| Théorème de D'Alembert-Gauss (version polynômes symétriques) |
| Théorème des restes chinois effectif |
| Quaternions et isomorphismes exceptionnels |
| Méthode archimédienne pour approcher Pi |
| D'Alembert Gauss (avec des extension de corps) |
| Co-trigonalisation d'une famille finie d'endomorphismes |
| Étude des polynômes cyclotomiques (+ corollaire sur les corps finis). |
| Entiers algébriques et caractères irréductibles |
| Groupe des isométries du cube et ses sous-groupes de Sylow |
| Intégrale de Gauss (par le théorème des résidus) |
| Prolongement fonction Gamma d'Euler (+formule de Weierstrass) |
| Description géométrique des normes |
| Analyticité des fonctions holomorphes |
| Calcul d'une intégrale par le théorème des résidus |
| Calcul du degré d'une extension de corps |
| Équation de Burgers |
| Étude de deux suites récurrentes |
| Injectivité de la fonction caractéristique et application |
| Caractérisation des ensembles Récursivement Énumérables |
| Algorithme de Dijkstra |
| 2-SAT est NL-dur |
| Théorème des trois séries de Kolmogorov |
| Sous-algèbres réduites de Mn(C) |
| Nombres premiers de la forme p=x^2+3y^2 |
| Opérateurs de Hilbert-Schmidt, étude et complétude |
| Nombre de solutions à une équation dans un groupe fini G |
| Racine carrée de la primitivisation (version opérateurs) |
| Fonction Gamma |
| Racine carrée de la primitivisation (version calcul d'intégrale) |
| Correspondance drapeaux et p-Sylow de GLn(Fp) |
| Distance d'une matrice à un sous-groupe |
| Processus du restaurant chinois: étude du nombre de tables |
| Equation de transport et formule de d'Alembert |
| Prolongement analytique le long d'une courbe |
| Morphismes continus de S1 dans GLn(C) |
| Déterminant circulant |
| Sous-algèbre de L(E) dont le seul élément nilpotent est 0 |
| Version faible du théorème de Schur |
| Lemme de Borel-Cantelli & Application aux nombres premiers |
| Permutations alternantes |
| Quelques cas particuliers du théorème de Dirichlet |
| Caractérisation des fonctions différentiables convexes |
| Maximum d'une fonction définie sur R^n |
| Minimum d'une fonction de n variables à l'aide du déterminant |
| Ruine du joueur |
| Lemme de Fitting et cardinal du cône nilpotent |
| Loi d'inertie de Sylvester, classification des formes quadratiques sur R, équivalence |
| Théorème du rang et topologie des orbites pour l'action par similitude |
| Solution approchée de y' = x^2 + y^2 |
| Générateurs de SL2(Z) |
| Calcul du résultant par l'algorithme d'Euclide |
| Réduction simultannée des formes quadratiques réelles & applications |
| Générateurs de GL_n(K) et SL_n(K) et application à la connexité |
| Irréductibilité des polynômes cyclotomiques et application aux extensions finies de Q |
| Théorème de réduction de Gauss et loi d'inertie de Sylvester |
| Automorphismes d'un corps cyclotomique |
| Somme de lois de Cauchy |
| Décomposition des groupes abéliens finis |
| Nombres normaux |
| Calcul d'une somme par les séries de Fourier |
| Décomposition LU + complexité |
| Matrices de Householder |
| Méthode de la puissance itérée |
| Équation de Bernoulli |
| Ordre moyen (espérance) du pgcd |
| Théorème de Haar |
| Les Théorèmes de Dini et application |
| Théorème des fonctions implicites |
| Connexité par arcs dans les matrices nilpotentes (privées de la matrice nulle) |
| Racine carrée d'un opérateur hermitien positif dans un espace de Hilbert |
| Construction de fonctions dérivables dont la dérivée est discontinue sur un ensemble prescrit |
| Chemin continu de projecteurs |
| Exemple de série numérique et recherche de sa nature (convergent ou divergent) |
| Parties relativement compactes de Lp(Rn) |
| Un théorème de localisation des racines d'un polynôme (Cauchy, Ostrowski) |
| Sous-espaces totalement isotropes maximals |
| Théorème de Kuhn et Tucker |
| Système de Lotka Volterra |
| Théorème spectral et ses trois corollaires |
| Espace tangent et extrema liés |
| Résultats de convergence de méthodes d'analyse numérique matricielle |
| Théorème de Cauchy-Lipschitz global (cas général) |
| Principe du prolongement analytique, analyticité des fonctions holomorphes et formule de Cauchy |
| Théorème d'interversion limite et différentielle |
| Fonction de Takagi |
| La fonction de Fabius : une fonction C^infini et non-analytique |
| Non-isomorphisme entre PSL(4,F_2) et PSL(3,F_4) |
| Théorème de Cantor sur l'unicité des coefficients d'une série trigonométrique |
| Théorème de Weierstrass par les polynômes de Berstein |
| Injectivité de la transformée de Fourier |
| Théorème chinois et applications |
| Générateurs de O(E) et SO(E) |
| Isométries du cube |
| Corps des nombres algébriques |
| Métrique pour la convergence en proba |
| Théorème de prolongement des fonctions uniformément continues |
| Contre-exemple au théorème de Dirichlet |
| Étude relative à la fonction Zeta |
| Connexité et non connexité par arcs |
| Théorèmes de Cauchy-Lipschitz |
| Résolution de l'équation de la chaleur par les séries de Fourier |
| Transformée de Fourier de la gaussienne complexe |
| Calcul des intégrales de Fresnel (Fourrier) |
| Théorème de Korovkin |
| Localisation des valeurs propres |
| Développement en série entière de la solution de y''+py'+qy=0 |
| Calcul d'intégral par la méthode de la quadrature de Gauss |
| Somme du déterminant de matrices symétriques positives (inégalité de Minkowski) |
| Complétude de l'espace l1(R) en fonction du choix de la norme |
| Théorèmes de point fixe dans un espace compact |
| résolution d'un pb aux limites en dim 1 par méthode de tir |
| Inégalités dans les Lp |
| Résolution d'une EDL avec les séries entières |
| Déterminant de Cauchy par deux méthodes |
| Inégalité de Carleman |
| Théorème de prolongement analytique et fonction caractéristique de la loi normale |
| Caractérisation des sous groupes compacts de Gln(R) |
| Endomorphismes conservant le déterminant |
| Critère de Klarès |
| Diagonalisation des endomorphismes normaux |
| Equation de Laplace dans un rectangle |
| Théorème de Poincaré-Bendixson |
| Théorème de Jordan |
| Théorème de Kakutani. Application aux ss-gp compacts de GLn(R) ou à l'existence d'une mesure de Haar |
| Exemple d'équations diophantiennes |
| Marche aléatoire simple sur Z |
| Convergence du schéma d'Euler explicite |
| Nombre de solutions d'une équation |
| Nombre de points fixes d'une permutation aléatoire |
| Réduction des formes quadratiques et théorème de Sylvester |
| Etude de la fonction Zeta de Riemann |
| Une équation de Mordell |
| Étude de l'équation x' = x^2 - t |
| Lois de Kepler |
| Théorème Carathéordory + enveloppe convexe d'un compact |
| Log concavité et minkowski |
| Caractérisation des matrices nilpotentes par la trace |
| Théorème de Cauchy pour les groupes |
| Critère de Kalmann |
| Involutions alternantes |
| Théorème du point fixe de Markov-Kakutani |
| Récurrence et transience de la Marche aléatoire simple sur Z, Z^2 et Z^3 |
| Convergence p.s. des sous-martingales bornées dans L1 |
| Problème de Dirichlet sur H^1_0 en dimension d |
| Décomposition de Bruhat |
| Théorèmes de Hahn-Banach en dimension finie |
| Théorème de Radon Nikodym |
| Théorèmes de Sylow (Version de Wielandt) |
| Spectre d'un opérateur autoadjoint |
| Des groupes bien mélangés par leurs automorphismes |
| Solutions développables en série entière d'une équation différentielle linéaire |
| Prolongement d'une norme définie sur Z^2 |
| Réduction des isométries |
| Compacité des sous sommes d'une suite absolument convergente |
| L'équation de la chaleur par les séries de Fourier |
| Théorème de Fourier-Plancherel (via les espaces de Schwarz) |
| Théorème d'Hadamard Lévy par le flot |
| Inégalité de Hoeffding et deux applications |
| Densité des polynômes orthogonaux et contrexemple |
| Calcul des intégrales de Fresnel |
| Théorèmes de Choquet et de Birkhoff |
| Marche aléatoire sur [0;1] |
| Théorème de Liapounov par les formes quadratiques |
| Forme normale de Smith |
| Algorithme de Gauss sur les formes quadratiques |
| Théorème de Dixon |
| Étude des polynômes cyclotomiques (coefficients entiers, unitaire et irréductible sur Z) |
| Décompositions LU et de Cholesky |
| Réduction des endomorphismes normaux dans un espace euclidien |
| Critères de convergence pour les méthodes itératives (cas des matrices hermitiennes) |
| Courbure de noeuds |
| Théorème des nombres premiers (version faible via la formule de Stirling) |
| Statistiques d'ordres |
| Fonction Bêta et volume de l'hyperboule |
| Fonction zeta et nombres premiers |
| Action à gauche de GLm(K) sur Mnm(K) |
| Isomorphisme entre PSL2(C) et SO3(C) |
| Étude des fonctions elliptiques de Weierstrass |
| Cardinal de SO2(Z/pZ) |
| Théorème fondamental de l’algèbre |
| Centre d’un p-groupe |
| Arithmétique dans l'anneau des fonctions entières |
| Endomorphismes continus commutant avec la dérivation |
| Nullstellensatz quadratique |
| Décomposition polaire pour O(p,q) |
| Fractions continues périodiques |
| Solution élémentaire à l'équation de Schrödinger |
| Dérangements d'un ensemble fini |
| Probabilité que deux éléments commutent dans groupe |
| Propriétés de l'anneau H(C) |
| Minimisation d'une fonctionnelle quadratique |
| Fonction caractéristique de la gaussienne par DSE |
| Calcul algébrique de la somme quadratique de Gauss |
| Théorème de simplicité d'Iwasawa |
| Sous-groupe de Frattini d'un p-groupe |
| Indicateur de Frobenius-Schur |
| Intégrale elliptique et longueur du lemniscate |
| Indécomposabilité de la loi de Poisson par les séries entières |
| Calcul analytique de la somme quadratique de Gauss |
| Inégalité de Hadamard (par le th des extrema liés) |
| Convergence en loi de variables aléatoires discrètes |
| Convergence de la méthode de la puissance |
| Une classe de séries lacunaires sans dérivées |
| Convergence uniforme d'une série de Fourier dont les coefficients sont sommables |
| Une somme de série par les séries entières |
| Log concavité du déterminant |
| Calcul de l'intrégale de 1/1+x^n |
| Etude de la fonction Digamma Psi |
| Formule de Cauchy pour un cercle par dérivation sous l'intégrale |
| Théorème de Lebesgue |
| Théorème de Bézout et théorème des restes chinois |
| Théorème de Chebotarev |
| Théorème de Brouwer par le logarithme |
| Théorème de Polya (chaînes de Markov) |
| Sous-groupes à 1 paramètre de GLn(C) |
| Sur le flot d'un champs de vecteurs |
| L'unique entier entre un carré et un cube |
| Loi forte des grands nombres version marche aléatoire |
| Ensemble de transpositions engendrant S_n |
| Paires génératrices de sous-groupes de S_n |
| Reduction des endomorphismes nilpotents |
| Collier de perles |
| Système de congruences (cas général) |
| Produit eulérien |
| Polynôme caractéristique d'un élément algébrique, famille Q-libre, extension multiquadratique |
| Homéomorphisme exp : S_n(R) -> S_n^(+*) (R) et décomposition polaire |
| Théorème de Wielandt |
| Marches aléatoires sur Z |
| Lemme de Goursat |
| Paradoxe de Penney |
| Ellipse de Steiner en utilisant le groupe affine. |
| Nombre d'endomorphismes nilpotents sur un corps fini |
| Théorème Paley-Wiener |
| Stone-Weieistrass par la convolution |
| Théorème du min-max de Fenchel-Rockafellar |
| Spectre de la comatrice |
| Décomposition QR et inégalité d'Hadamard |
| Lemme de Hensel |
| l(p) est complet |
| Critère de nilpotence par la trace |
| Lemme de la grenouille |
| Matrice de Gram |
| Asymptotique d'une équation du troisième degré |
| Transformée de Zak et formule de Poisson |
| Théorème de Sturm (équa diff) |
| Complémentaire d'un hyperplan |
| Inversion globale |
| Décomposition polaire et marche quantique unitaire |
| Inégalités de Young, Holder, Minkowsky et calcul de norme de l'injection de L1 dans Lp |
| Dénombrement des matrices nilpotentes d'indice n dans Mn(Fq) |
| Théorème de Cauchy et de Sylow(récurrence) |
| Descente de gradient à pas constant |
| Groupes dérivés des groupes symétriques |
| Sous groupes finis de K* |
| Riemann-Lebesgue |
| [Doublon AX+XB=C] avec 177 |
| Cochran, Fischer et application test chi-deux |
| Paul-Lévy, TCL et applications |
| Théorème de Burnside (Groupes simples) |
| Étude du groupe A4 |
| Lemmes de Borel-Cantelli et application à la convergence presque sûre |
| Matrices et déterminants de Gram |
| Corollaire du théorème de Wantzel et réponse négative à la trisection de l'angle |
| Résolution des équations quadratiques dans Fp |
| Inégalité de Heisenberg |
| Inverser sans inverser |
| Formule de la coaire, volume des boules, aire des sphères |
| Polynômes et fonctions de Hermite |
| Transformée de Fourier par les résidus |
| Propriétés des opérateurs compacts |
| Equivalence de diagonalisabilité |
| Existence et unicité d'un corps à q éléments |
| Fonctions strictement monotones |
| Théorème de Newton : décomposition en polynômes symétriques élémentaires |
| Etude des fonctions à variations bornées. |
| Critère fonction convexe ou affine |
| Minimum d'une norme matricielle |
| Etude de la fonction de Weierstrass |
| Méthode de Newton multi-D |
| Nombre de dérangements |
| Théorème de Rouché (et principe de l'argument) |
| Approximation diophantienne |
| Isométrie du tétraèdre régulier |
| Sous-groupes finis de SO3(R) |
| Théorème de descente de Springer pour les formes quadratiques |
| Théorème de Floquet pour l'équation de Hill |
| Premier théorème de Mertens |
| Enveloppe convexe fermée et précompacité |
| Théorème de Sunyer i Balaguer |
| Un critère de connexité par arcs |
| Théorème d'Osgood |
| Théorème du point fixe de Brouwer par le lemme de Sperner |
| Déterminant des matrices à coefficients dans un anneau |
| Théorème de Perron-Frobenius pour les matrices stochastiques irréductibles |
| Théorème de Cauchy + Condition suffisante pour qu’un sous groupe soit distingué |
| F(L1) dense dans C_o |
| Règle d'Abel |
| Equirépartition presque sûre des orbites du doublement de l’angle |
| Moyenne d'une fonction multiplicative à valeurs dans [0,1] |
| Dynamique symbolique |
| La courbe brachistochrone |
| Point fixe de Banach-Picard + Cauchy-Lipschitz (linéaire ou global) |
| Endomorphisme conservant le déterminant |
| Compacts dans les espaces de Hilbert |
| Différentielle de l'exponentielle de matrice (et application) |
| Loi des grands nombres |
| L'algèbre de Wiener des séries de Fourier absolument convergentes |
| Théorème de Perron-Frobenius pour les matrices positives irréductibles et application aux chaînes de Markov |
| Morphismes continus de S1 dans GLn(R) |
| Théorème de Wiener-Ikehara |
| Accélération de la convergence des méthodes itératives par la méthode de Tchebychev |
| Théorème du min-max de Courant-Fischer et continuité des valeurs propres dans le cas hermitien |
| L'algèbre linéaire au service de la théorie des corps : la norme |
| Construction des codes cycliques, classes cyclotomiques |
| Développements de sinus, cotangente et cosécante en produit et sommes infinis du point de vue holomorphe |
| Critère d'Eisenstein + Contre-exemple au théorème de l'élément primitif |
| Développement en produit eulérien du sinus |
| Le problème des canards dispersés : Etude des inversibles de Z[√2] |
| Réductibilité des polynômes cyclotomiques |
| Décomposition en valeurs singulières (SVD) |
| Disques de Gerschgorin-composantes connexes |
| Algorithme de Perturbation dans l'ensemble de Mandelbrot |
| Polynômes de meilleure approximation uniforme |
| Théorème de Cayley-Hamilton |
| Lemme des classes monotones + Applications (théorème pi-lambda de Dynkin) |
| Formule d’Euler-Maclaurin |
| Théorèmes de Helly et de Carathéodory |
| Présentation des groupes PGLn et PSLn |
| Théorème d'Egorov |
| Modèle épidémiologique SIR |
| Étude d'une suite de Fibonacci aléatoire |
| Classification des formes quadratiques sur R et C |
| Analyse d'un schéma numérique aux différences finies pour la résoltuion d'une EDP de type réaction-diffusion |
| Théorème de Morera et théorème de Weierstrass sur la convergence des suites de fonctions holomorphes |
| Un théorème taubérien de Hardy-Littlewood |
| Alternative dense/monogène, valeurs d'adhérence de la suite (cos(n)) |
| Développement asymptotique de $\int_1^x \frac{e^t}{t} dt$ |
| Théorème de Paul Lévy |
| Théorème de Gauss - Markov |
| Abel implique Césaro |
| Étude des zéros de l'EDO de Sturm-Liouville |
| Théorème de Frobenius (Sous-groupe distingué d'un groupe fini) |
| Développement asymptotique du nombre moyens de diviseurs |
| Théorème de Pappus |
| L'anneau Z[1+i sqrt(19) / 2] |
| Convergence d'une suite lente |
| Inégalité de Kolmogorov pour les fonctions |
| Connexité de $\mathbb{R}$, TVI, TAF, applications |
| Dualité des espaces Lp et Lq |
| Théorème de Birkhoff - Application au transport optimal |
| Formule de Stirling par le théorème central limite (et par lois de Poisson) |
| Van der Pol |
| Décomposition Polaire sous la forme A=exp(iΘ)R |
| PGCD avec la matrice de Sylvester |
| Principe de prolongement et applications simples |
| Densité de Lip([0, 1]) dans C([0, 1]) par Stone-Weirstrass |
| Appoximation de l'unité et application |
| Caractérisation des fonctions de L infini possédant un représentant uniformément continu. |
| Une base de L2(0, 1) : les polynômes trigonométriques |
| Approximations intégrales |
| Etude qualitative d'un modèle proie-prédateur |
| Résultant, discriminant, applications |
| Matrices à coefficients dans Z/nZ |
| Présentation du groupe symétrique |
| Equation linéaire d'Euler |
| Equation pendule simple |
| Analyticité des fonctions holomorphes (par les séries de Fourier) |
| Stabilité d'un système à coefficients constants |
| Théorème de Minkowski |
| Rotations de R^3 laissant un réseau invariant |
| Les suites récurrentes linéaires d'ordre p forment un espace vectoriel engendré par des suites géométriques |
| Règle de Raabe-Duhamel, exemples |
| Formule de Stirling par la méthode de Laplace |
| Une suite d'intégrales mettant en jeu l'IPP et des changements de variables |
| Égalité de deux intégrales à paramètre |
| Calcul d'une intégrale grâce à un DSE |
| Classification des groupes à p^2 éléments |
| Classification des groupes d'ordre p^2 et 2p |
| Décomposition de Dunford |
| Inégalités de Jensen et application à l'espérance d'une variable aléatoire réelle. |
| Fermés de L2(R) invariants par translation |
| Etude de la forme quadratique tr(M^2) |
| Théorème de Heine + Application |
| DA à 3 termes des log itérés |
| LU+Choleski+QR |
| Test de Lucas-Lehmer pour les nombres de Mersenne, 100% bio, sans abus de notation ni circonvolution |
| Principe d'incertitude suédois |
| Théorème des deux carrés |
| Décomposition LU et de Cholesky |
| Dénombrement des endomorphismes nilpotents sur un corps fini |
| Dénombrement des polynômes unitaires irréductibles sur un corps fini |
| Déterminant circulant et suite de polygones |
| Dual de M_n(K) |
| Étude de la fonction Γ sur R |
| Exposant d'un groupe |
| Formule de Stirling par le TCL |
| Formule de Stirling |
| Générateurs de SL_n(K) et GL_n(K) |
| Groupe des isométries du cube |
| Homéomorphisme de H_n(C) sur H_n^++(C) |
| Illustration du théorème des résidus |
| Injectivité de la transformation de Fourier |
| Irréductibilité des polynômes cyclotomiques sur Q[X] |
| Loi d’inertie de Sylvester et classification des formes quadratiques sur R |
| Matrices minimisant la norme sur SL_n(R) |
| Convergence de la méthode de Newton |
| Polynômes orthogonaux |
| Processus de Galton-Watson |
| Étude du processus de Galton-Watson |
| Résolution d’une EDO par DSE |
| Simplicité de A_n pour n = 3 et n ≥ 5 |
| Simplicité de SO_3(R) |
| [Doublon : Surjectivité de l’exponentielle matricielle] |
| Le théorème d’Abel angulaire |
| Théorème de Banach-Steinhaus |
| Critère de nilpotence par la trace et théorème de Burnside |
| Le théorème de Cauchy-Lipschitz local |
| Le théorème de Féjer |
| Théorème de Gauss-Wantzel |
| Théorème de Lévy et théorème central limite |
| Théorème de projection sur un convexe fermé |
| Le théorème de Riesz |
| Théorème de Weierstrass |
| [Doublon] Le théorème des deux carrés |
| Théorème des restes chinois et application |
| [Doublon : Théorème d’inversion locale] avec 96 |
| Critère de Sylvester |
| Cyclotomie+Dirichlet faible+application aux GAF+Bonus sur Galois inverse |
| Une version efficace et simple de l'algorithme de Berlekamp |
| Lemme de Kronecker (la preuve à toto !) et lemme de Serre |
| Théorème de Mason \"The Line\" Dixon |
| Formule d'inversion de Möbius et dénombrement des polynômes irréductibles sur Fq |
| Equation de la chaleur |
| Somme des 1/n^2 (version relation coef racine) |
| Dénombrement des matrices nilpotentes de taille $d \times d$ à coefficients dans $\mathbb{F}_q$ |
| Suite des Arctan itérés |
| Théorème de Cauchy-Lipschitz, cas globalement lipschitzien et cas linéaire |
| Etude de la fonction Gamma et lemme d'Euler |
| Etude de la fonction Gamma et théorème de Bohr-Mollerup |
| Théorème de Cartan-Dieudonné (générateurs de O(q) et SO(q)) |
| Théorème des extrema liés (par les sous-variétés) |
| Equation de Bessel |
| Théorème de Wilson (par le petit théorème de Fermat) + applications |
| Nombre de dérangements de $\mathfrak{S}_n$ |
| Fonction caractéristique caractérise la loi + Théorème de Lévy |
| Générateurs de SL2(Z) et SL2(Z/NZ) |
| Théorème d'Hermite sur les formes quadratiques |
| Zéros de la fonction de Bessel |
| Réciproque de la formule de Taylor |
| Théorème de Fejér $L^p$ (approximation de l'identité) |
| C* n'est pas simplement connexe |
| Critère de nilpotence par la trace [doublon] |
| Tests de primalité |
| Nombre de points fixes d'une permutation aléatoire (convergences) |
| Dénombrement des automorphismes diagonalisables de Fq |
| Cayley-Hamilton amélioré |
| Un problème de dénombremement sur les corps finis : Le problème de Kakeya |
| Calcul de l'intégrale de log(t^2) / ( 1+t^2 ) par les résidus |
| Formule d'inversion de Fourier par la formule sommatoire de Poisson dans l'espace de Schwartz |
| Loi forte des grands nombres L^2 et théorème des nombres normaux |
| Equivalence entre Borel-Lebesgue et Bolzano-Weierstrass (Compacité) |
| L'exponentielle Matricielle est C1 |
| Convergence d'une suite de Variable Aléatoire |
| Recherche de valeurs propres par la méthode de Jacobi |
| L'espace l² est un espace de Hilbert |
| Lemme des noyaux et Décomposition de Dunford par le Théorème des restes chinois |
| Résolution d'une équation de Ricatti |
| Sous-groupes distingués de Sn |
| Théorème de Flanders |
| Etude de l'anneau Z[i] |
| Convergence monotone, Fatou et convergence dominée. |
| La série de Fourier d'une fonction höldérienne converge |
| Invariants du groupe symétrique |
| Petits sous-groupes de GLn(C) |
| Propriétés des vecteurs gaussiens par la densité |
| PGCD et matrice de Sylvester. |
| Problème de Bâle |
| Quadrature de Gauss(-Legendre) |
| Construire un simplexe avec Cayley-Menger |
| Tautologie |
| Matrice compagnon 3.11 et 3.12 CVA |
| Propriétés de la fonction génératrice, somme aléatoire de variables aléatoires |
| Un diagramme commutatif magique : idempotents de K[u] et exponentielle de matrices |
| un système dynamique discret et son analogue continu : méthode d’Euler pour éq de réaction |
| Inégalité de Cauchy, Liouville et D'Alembert Gauss |
| Carractérisation des morphismes d'algèbre de $L^1(\mathbb{R})$ dans $\mathbb{R}$ par transformée de Fourier |
| Statistique, amélioration du LFGN |
| Structure des groupes abeliens libres |
| Loi limite de la structure en cycles d'une permutation aléatoire |
| Wallis et les hyperboules |
| Formule de Ramanujan-Wilson |
| Représentation paramétrique, représentation cartésienne |
| Aiguille de Buffon |
| Réduction des endomorphismes normaux dans un espace hermitien |
| Étude d'une suite de variables aléatoires suivants des lois de Poisson |
| Théorème de Cauchy-Peano-Arzelà |
| Une somme directe de sev fermés de L²(R), dense et non fermée dans L²(R) |
| Action par translation à gauche de GLn(K) sur Mn,m(K) |
| Développement de Zêta en produit eulérien par les probas |
| Théorème de Müntz hypothèse allégée |
| 1er théorème d'isomorphisme |
| Nombre de fermat, application de Lagrange |
| Densité des fonctions continues à support compact |
| Proba sur GL_2(F_q) |
| Densité des fonctions tests + Riemann Lebesgue |
| Algorithme de Cantor-Zassenhaus |
| Equation de Schrödinger dans une boîte en dimension $d$ |
| Riemann-Lebesgue, Noyau de Dirichlet et principe de localisation |
| Théorème d’inversion locale en dimension finie |
| Transfert de factorialité de Gauss (A factoriel implique A[X] factoriel) |
| Critère des séries alternées |
| Théorèmes de Heine + Weierstrass (avec Bernstein) |
| Fonctions dont la série des coefficients de Fourier converge absolument. |
| Developpement asymptotique des sommes de Riemann |
| Théorème d'Ostrowski et corollaire |
| Existence de base q-orthogonale et loi d'inertie de Sylvester |
| Théorème de Cauchy et classification des groupes d'ordre 6 |
| Théorème des extrema liés (sans utiliser de sous-variétés) |
| Diamètre transfini |
| Formule d'inversion de Lagrange |
| Calcul de integral(0 , ^+oo, log(x) / (1+x^2)^(n+1) ) |
| Théorème de Bloch |
| Équivalence RSA factorisation |
| [Doublon : df(x)∈O(E) <=> f isométrie affine] |
| Fonction de Van der Waerden |
| Réduction des endomorphismes nilpotents (par dualité) |
| Calul d'intégrales par équations différentielles |
| Volume de la boule unité de Rn |
| H1 est un Hilbert |
| Automorphismes de S6 |
| Interprétation géométrique du déterminant |
| Propriété de Schur dans l'espace des suites sommables |
| Un théorème de point fixe compact |
| Caractérisation d'un élément algébrique, structure des nombres algébriques et résultant |
| Transcendance de l'exponentielle |
| Décomposition polaire et A=UBU^-1 |
| Formule sommatoire de Poisson et fonction Theta de Jacobi |
| Théorème de charkovski |
| Polynômes de Bernstein |
| Théorème de Rademacher |
| Distance de Hausdorff et convergence de fractales |
| Théorème de Furstenberg-Kesten (version faible) |
| Lemme de Charkovski |
| Méthode d’Euler explicite et application à l’oscillateur harmonique |
| Nombre d'ensembles d'entiers de 1 à 5n dont la somme est un multiple de 5 |
| Théorème de Sard |
| [Doublon : A factoriel implique A[X] factoriel] avec 1530 |
| Théorème spectral en dim infinie |
| Formule de Fourier-Plancherel et calcul de l'intégrale de Dirichlet |
| Différentielle du flot d'une équation différentielle autonome |
| Théorème de représentation de Riesz + existence de l'adjoint d'un opérateur |
| Critère de Cohn |
| Formule d'inversion de Pascal, dénombrement des surjections et formule de Faulhaber |
| Formule de Gelfand |
| Inégalité de Bessel |
| Principal implique factoriel |
| Automorphismes de Q8 par SL2(F3) |
| Equirépartition |
| Existence des bases, définition de la dimension |
| Théorème des quatre carrés de Lagrange via les quaternions de Hurwitz |
| Sous espaces de matrices nilpotentes |
| Probabilités invariantes d'une chaîne de Markov à états finis |
| Théorème de Mason |
| Divergence de la série des 1/p pour p premier |
| Continuité des fonction convexe de Rn + critère de différentiabilitée des fonctions convexes |
| Convergence uniforme de la suite $(1+x/n)^n$ par la convexité |
| Cauchy + groupes d'ordre 2p |
| Solides de Platon |
| Un critère d'extrema d'ordre 2 et une application |
| Théorème de Lamé |
| Disques de Gerschgorin + Bauer-Fike |
| Equation d'Euler-Lagrange |
| théorème de structure des groupes abéliens finis |
| Théorème de D'Alembert Gauss par le groupe fondamental du cercle |
| Calcul explicite d'une série alternée |
| Existence unicité des corps de decomposition |
| Matrice circulante, codiagonalisation, cas d'un corps quelconque |
| Critère de co-diagonalisation |
| Théorème de Hardy-Ramanujan |
| Interpolation Lagrange |
| Exemple de polynôme non résoluble |
| Résultant et majoration des coefficients de Bézout dans Z[x] |
| Etude du cryptosystème RSA |
| stabilité des schéma d'Euler (EDO) |
| Théorème de Cesàro par la formule du produit eulérien |
| L'isomorphisme entre SO3(Fq) et PGL2(Fq) |
| Consistance, stabilité et convergence du schéma par différence finie elliptique |
| Fonction continue non derivable |
| Z[i] est euclidien, et étude de ses propriétés |
| Z[sqrt(e)] est euclidien pour -3 < e < 4, avec des coniques |
| La corde vibrante |
| Aut(H8)=S4 |
| Problème des moments |
| Caractérisation par les moments |
| Endomorphismes préservant les m-volumes |
| Théorème de Burnside sur les sous algèbres irréductibles de Mn(k) |
| Lemme de Borel Cantelli et Loi forte des grands nombres L4 |
| Contrôlabilité d'un système linéaire |
| theoreme de Napoleon |
| Théorème de la bijection continue, non-surjectivité de Fourier sur L1([0,1]) |
| Fonctions de Liapounov et stabilité du cas autonome différentiable |
| Égalité de Parseval et application au calcul de zêta(2) et zêta(4) |
| Théorème de Lie |
| Caractérisation des boules unités de R^n |
| Lemme des noyaux, codiagonalisabilité, Dunford et application à l'exponentielle de matrice |
| Image réciproque dans R^n d'une fonction C1 |
| Séries de variables aléatoires indépendantes positives |
| Eisenstein + étude de $X^4 + 1$ |
| Idéaux maximaux de C(K,R) |
| Co-trigonalisation |
| Probabilité que 2 éléments commutent dans GL2(Fq) |
| Décomposition des fonctions de Sobolev |
| Théorème de Floquet |
| Théorème de Danskin |
| Young, Hölder, Minkowski |
| Contre exemple Fubini |
| DL usuels au voisinage de 0 |
| Fonction Lipschitz complet |
| Théorème de Hahn Banach géométrique dans un Hilbert |
| Etude de suites définies par récurrence |
| Nombre de matrices sur F_q de polynôme caractéristique donné |
| Théorème de Müntz $L^2$ |
| Extrema liés et maximisation du déterminant de Vandermonde sur la boule unité. |
| Théorème de Fourier Plancherel |