∑
MathTCG

Codex & Encyclopédie

Recueil encyclopédique officiel complet — 500 notices mathématiques réparties en 4 extensions consultables en accès libre.

500 notices au recueil
#193
★Commune
⊦

Récursivité

Maths Discrètes•MÉTHODE

Résoudre un problème en s'invoquant soi-même sur des instances plus petites jusqu'à un cas de base terminal.

XXe siècle
#194
★Commune
⊦

Retour sur trace (backtracking)

Maths Discrètes•MÉTHODE

L'exploration méthodique avec retour en arrière dès qu'une impasse est constatée : l'art de sortir des labyrinthes.

1965 (Golomb, Baumert)
#195
★Commune
∇

Descente de gradient

Maths Appliquées•MÉTHODE

L'algorithme d'optimisation universel : descendre pas à pas le long de la ligne de plus grande pente pour minimiser une fonction.

1847 (Cauchy)
#196
★Commune
∇

Méthode du simplexe

Maths Appliquées•MÉTHODE

L'algorithme souverain de la programmation linéaire : cheminer de sommet en sommet le long d'un polyèdre convexe pour maximiser un objectif.

1947 (George Dantzig)
#197
★Commune
∫

Règle de L'Hôpital

Analyse•MÉTHODE

Le levier des formes indéterminées : lever les limites 0/0 ou ∞/∞ en remplaçant les fonctions par leurs dérivées.

1696 (Jean Bernoulli)
#198
★Commune
∇

Méthode des trapèzes

Maths Appliquées•MÉTHODE

La quadrature numérique linéaire : estimer une intégrale en remplaçant la courbe par des segments de droite formant des trapèzes.

Origines du calcul numérique
#199
★Commune
∇

Méthode de Simpson

Maths Appliquées•MÉTHODE

La quadrature parabolique d'ordre 3 : approcher l'aire par des arcs de parabole traversant des triplets de points.

1743 (Thomas Simpson)
#200
★Commune
⊕

Décomposition LU

Algèbre•MÉTHODE

La factorisation matricielle fondamentale : factoriser une matrice carrée A en produit d'une triangulaire inférieure L et d'une triangulaire supérieure U.

1948 (Alan Turing)
#201
✦✦✦✦✦✦Mythique
∫1815 - 1897

Karl Weierstrass

Analyse•MATHÉMATICIEN

Architecte de l'analyse moderne et promoteur de la rigueur formelle epsilon-delta.

1815 - 1897
#202
★★★★★Légendaire
∫1875 - 1941

Henri Lebesgue

Analyse•MATHÉMATICIEN

Révolutionnaire de la mesure ayant créé l'intégrale moderne supplantant celle de Riemann.

1875 - 1941
#203
★★★★★Légendaire
∫

Fonction Zêta de Riemann

Analyse•CONCEPT

La fonction complexe fondamentale reliant l'analyse analytique à la distribution des nombres premiers.

1859
#204
★★★★★Légendaire
∇

Équation de la chaleur

Maths Appliquées•CONCEPT

L'équation aux dérivées partielles parabolique décrivant la diffusion thermique universelle.

1822
#205
★★★★★Légendaire
∇

Attracteur de Lorenz

Maths Appliquées•CONCEPT

L'attracteur étrange fractal illustrant le chaos déterministe et l'effet papillon.

1963
#206
★★★★Épique
∫

Formule intégrale de Cauchy

Analyse•THÉORÈME

La valeur d'une fonction holomorphe à l'intérieur d'un contour est fixée par son bord.

1831
#207
★★★★Épique
∫

Théorème des résidus

Analyse•THÉORÈME

L'outil ultime d'évaluation d'intégrales par la somme des singularités complexes.

1826
#208
★★★★Épique
∫

Fonction Gamma

Analyse•CONCEPT

Le prolongement analytique universel de la factorielle aux nombres complexes.

1729
#209
★★★★Épique
∫

Série de Taylor

Analyse•MÉTHODE

La représentation d'une fonction lisse sous forme de série entière infinie de puissances.

1715
#210
★★★★Épique
∇

Équation des ondes

Maths Appliquées•CONCEPT

L'équation aux dérivées partielles hyperbolique régissant la propagation des ondes sonores et lumineuses.

1746
#211
★★★★Épique
∫

Série de Fourier

Analyse•MÉTHODE

Décomposition universelle d'un signal périodique en somme d'oscillations sinusoïdales pures.

1807
#212
★★★★Épique
∫1781 - 1840

Siméon Denis Poisson

Analyse•MATHÉMATICIEN

Pionnier de la physique mathématique, de l'électrostatique et de l'intégration.

1781 - 1840
#213
★★★★Épique
∇

Équations de Navier-Stokes

Maths Appliquées•CONCEPT

Le système non linéaire fondamental régissant l'écoulement des fluides visqueux incompressibles.

1822 - 1845
#214
★★★Rare
∫1831 - 1916

Richard Dedekind

Analyse•MATHÉMATICIEN

Créateur des coupures de Dedekind ayant bâti la construction axiomatique rigoureuse des nombres réels.

1831 - 1916
#215
★★★Rare
∫

Équation de Laplace

Analyse•CONCEPT

L'équation aux dérivées partielles elliptique définissant les fonctions harmoniques et les potentiels stables.

1784
#216
★★★Rare
∫

Théorème de convergence dominée

Analyse•THÉORÈME

Le chef-d'œuvre de Lebesgue permettant d'intervertir la limite et l'intégrale sous simple domination.

1902
#217
★★★Rare
∫

Série harmonique

Analyse•CONCEPT

La série divergente fondamentale dont la divergence lente marque la frontière de la sommabilité.

1350
#218
★★★Rare
∫

Constante d'Euler-Mascheroni

Analyse•CONCEPT

La constante gamma reliant la série harmonique au logarithme, dont l'irrationalité demeure irrésolue.

1735
#219
★★★Rare
∫

Prolongement analytique

Analyse•MÉTHODE

L'extension unique d'une fonction holomorphe au-delà de sa zone initiale de convergence.

1851
#220
★★★Rare
∫

Espace de Hilbert

Analyse•CONCEPT

L'espace vectoriel complet muni d'un produit scalaire, théâtre de l'analyse fonctionnelle et de la physique quantique.

1904
#221
★★★Rare
∫

Espace de Banach

Analyse•CONCEPT

L'espace vectoriel normé complet, colonne vertébrale de l'analyse fonctionnelle moderne.

1922
#222
★★★Rare
∫

Lemme de Fatou

Analyse•THÉORÈME

L'inégalité majeure bornant l'intégrale de la limite inférieure des suites de fonctions positives.

1906
#223
★★★Rare
∫

Théorème de Liouville

Analyse•THÉORÈME

Toute fonction holomorphe bornée sur l'ensemble du plan complexe est constante.

1844
#224
★★★Rare
∫

Fonction holomorphe

Analyse•CONCEPT

Fonction à variable complexe différentiable au sens complexe, analytique à tout ordre.

1851
#225
★★★Rare
∫

Rayon de convergence

Analyse•CONCEPT

Le rayon du disque du plan complexe délimitant la frontière absolue de sommabilité d'une série entière.

1821
#226
★★★Rare
∫

Convergence uniforme

Analyse•CONCEPT

Le mode de convergence fonctionnelle qui préserve la continuité et l'interversion des limites.

1841
#227
★★★Rare
∫

Développement asymptotique

Analyse•MÉTHODE

Approximation fine du comportement limite d'une fonction au voisinage d'une singularité ou de l'infini.

1886
#228
★★★Rare
∇

Système de Lotka-Volterra

Maths Appliquées•CONCEPT

Le modèle non linéaire pionnier de la dynamique cyclique des populations proies et prédateurs.

1925
#229
★★Peu commune
∫1685 - 1731

Brook Taylor

Analyse•MATHÉMATICIEN

Mathématicien britannique auteur de la formule de Taylor des séries de puissances.

1685 - 1731
#230
★★Peu commune
∫1698 - 1746

Colin Maclaurin

Analyse•MATHÉMATICIEN

Mathématicien écossais auteur des séries centrées en zéro et de la formule d'Euler-Maclaurin.

1698 - 1746
#231
★★Peu commune
∫1850 - 1891

Sofia Kovalevskaïa

Analyse•MATHÉMATICIEN

Première femme titulaire d'une chaire universitaire en Europe du Nord et génie des EDP.

1850 - 1891
#232
★★Peu commune
∫1871 - 1956

Émile Borel

Analyse•MATHÉMATICIEN

Pionnier de la théorie de la mesure, de la topologie borélienne et des probabilités modernes.

1871 - 1956
#233
★★Peu commune
∫1865 - 1963

Jacques Hadamard

Analyse•MATHÉMATICIEN

Démonstrateur du théorème des nombres premiers et théoricien des EDP bien posées.

1865 - 1963
#234
★★Peu commune
∫1821 - 1894

Pafnouti Tchebychev

Analyse•MATHÉMATICIEN

Fondateur de l'école de Saint-Pétersbourg, pionnier des polynômes orthogonaux et de la théorie des nombres.

1821 - 1894
#235
★★Peu commune
∫

Formule d'Euler-Maclaurin

Analyse•THÉORÈME

Le pont d'or reliant les sommes discrètes aux intégrales continues via les nombres de Bernoulli.

1735
#236
★★Peu commune
∫

Théorème de Cauchy-Lipschitz

Analyse•THÉORÈME

Théorème fondamental assurant l'existence et l'unicité locale des solutions d'une équation différentielle.

1824 - 1876
#237
★★Peu commune
∫

Théorème d'Arzelà-Ascoli

Analyse•THÉORÈME

Critère universel de compacité pour les familles de fonctions équicontinues et uniformément bornées.

1889
#238
★★Peu commune
∫

Théorème d'approximation de Weierstrass

Analyse•THÉORÈME

Toute fonction continue sur un segment réel est limite uniforme d'une suite de polynômes.

1885
#239
★★Peu commune
∫

Continuité uniforme

Analyse•CONCEPT

Régularité globale où le pas delta d'oscillation est valable uniformément sur tout l'espace.

1870
#240
★★Peu commune
∫

Convergence absolue

Analyse•CONCEPT

Convergence de la série des valeurs absolues garantissant l'invariance par réarrangement.

1821
AccueilClasseurCodexBoostersÉchangesProfil