Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- Le '''théorème d'extinction d'Ewald–Oseen''' exprime l'extinction du faisceau de lumière e ...avec la vitesse <math>\frac{c}{n}</math>. Une démonstration plus exacte du théorème peut être trouvée en utilisant le [[potentiel retardé]] de Hertz<ref>{{arti ...9 kio (1 563 mots) - 18 janvier 2024 à 12:15
- ...(mathématiques)|analyse fonctionnelle]], le '''théorème d'Ascoli''', ou '''théorème d'Arzelà-Ascoli''', démontré par les mathématiciens italiens [[Giulio Ascol Ce théorème est connu pour son nombre considérable d'applications ([[Espace uniforme#Es ...9 kio (1 454 mots) - 28 octobre 2024 à 20:18
- ...rvalle unité (axe horizontal) avec les ''n'' premiers termes prédit par le théorème d'équidistribution avec quatre nombres irrationnels connus, pour ''n'' de 0 En [[mathématiques]], le '''théorème d'équidistribution''' exprime que la suite des restes modulo 1 des multiple ...7 kio (1 100 mots) - 9 décembre 2023 à 21:46
- ...sique]], en [[électromagnétisme]] [[mécanique classique|classique]], le '''théorème d'Earnshaw''' établit qu'un ensemble de [[charge ponctuelle|charges ponctue Le théorème fut prouvé en [[1842]] par [[Samuel Earnshaw]]. On l'utilise couramment pou ...11 kio (1 825 mots) - 11 juillet 2024 à 13:25
- ...éorème de Gauss]]. Pour être appliqué analytiquement de manière simple, le théorème d'Ampère nécessite que le problème envisagé soit de [[symétrie (physique)|s == Théorème d'Ampère en statique == ...14 kio (2 275 mots) - 21 janvier 2025 à 08:45
- ...[[Opérateur hamiltonien|hamiltonien]] <math>\hat{H}</math> du système. Ce théorème concerne notamment tous les systèmes vérifiant le [[principe de corresponda == Théorème == ...7 kio (1 177 mots) - 26 janvier 2024 à 15:20
- ...Stephen Cole Kleene|Stephen Kleene]], il est aussi connu sous le nom de '''théorème ''s<sub>mn</sub>'''''<ref>{{Ouvrage|auteur1=René Cori|auteur2=Daniel Lascar ...[[machine de Turing]] dont l'arrêt est indécidable ou dans la preuve du [[théorème de récursion de Kleene]]. ...3 kio (474 mots) - 4 octobre 2022 à 14:56
- ...u [[théorème de Cantor]] et du [[Théorème de König (théorie des ensembles)|théorème de König]] : <math> \text{si } \kappa < \lambda \text{, alors } 2^\kappa\le Plus généralement, le théorème s'applique à n'importe quelle application ''G'' d'une partie de la [[Classe ...4 kio (679 mots) - 4 février 2022 à 01:33
- En [[magnétohydrodynamique]], le '''théorème d'Alfvén''' établit que dans un fluide dont la [[conductivité électrique]] ...te d'une faible [[résistivité du matériau]], les résultats découlant de ce théorème peuvent être approximativement appliqués. ...3 kio (481 mots) - 4 mars 2025 à 15:38
- Le '''théorème d'Apéry''', démontré en 1978 par le mathématicien [[Roger Apéry]], affirme ...h|π{{exp|''n''}}}} est toujours irrationnel<ref>C'est une conséquence du [[théorème de Lindemann]].</ref>, on en déduit que {{math|ζ(2''n'')}} est irrationnel ...12 kio (1 939 mots) - 29 octobre 2024 à 23:14
- {{Confusion|Théorème de Hurwitz}} En [[topologie algébrique]], le cas le plus simple du '''théorème d'Hurewicz''' – attribué à [[Witold Hurewicz]] – est une description du pre ...13 kio (2 063 mots) - 24 février 2025 à 16:09
- En [[mathématiques]], le '''théorème d'Ostrowski''' est un [[théorème]] de [[théorie des nombres]] démontré en [[1916 en science|1916]] par [[Al Plus précisément et plus généralement<ref>{{Serre3}}, {{p.|36}}.</ref>, le théorème d'Ostrowski énonce que les seules valeurs absolues non [[distance ultramétr ...6 kio (907 mots) - 21 décembre 2023 à 21:53
- {{Ébauche|mathématiques}}{{À sourcer|date=février 2024}}Le '''théorème d'{{Lien|lang=it|Cristoforo Alasia|texte=Alasia}}''' concerne la [[géométri ...= \vec{0}</math> donc <math>a = b</math><ref>{{Lien web |langue=fr |titre=Théorème de Cristoforo Alasia |url=https://les-mathematiques.net/vanilla/discussion/ ...3 kio (478 mots) - 10 août 2024 à 16:58
- ...es mesurables]]. Ce [[théorème]] peut servir en particulier à montrer le [[théorème de Lusin]] pour les fonctions intégrables. ...intégration]]. Il permet en outre de donner une démonstration concise du [[théorème de convergence dominée]]. ...4 kio (604 mots) - 11 février 2019 à 12:13
- ...de [[courbure de Gauss|courbure]] constante. On peut considérer que le '''théorème d'uniformisation''' de [[Bernhard Riemann|Riemann]], affirmant que toute su == Le théorème d'uniformisation de Poincaré == ...9 kio (1 385 mots) - 4 décembre 2024 à 19:17
- En [[mathématiques]], le '''théorème de fibration d'Ehresmann''' affirme qu'une application de [[dérivation itér [[Catégorie:Théorème de topologie|Ehresmann]] ...1 kio (159 mots) - 26 avril 2021 à 09:04
- ...''théorème d'échantillonnage''', dit aussi '''théorème de Shannon''' ou '''théorème de Nyquist-Shannon''', établit les conditions qui permettent l'[[Échantillo Dans le cas général, le théorème d'échantillonnage énonce que l’échantillonnage d'un signal exige un nombre ...29 kio (4 821 mots) - 24 février 2025 à 20:00
- ...théorie de la mesure]] et en [[Théorie des probabilités|probabilités]]. Ce théorème justifie en partie l'introduction de ces concepts. Il fut démontré dans un {{Théorème|énoncé=Soit <math>(\Omega,\mathcal{A}, \mu)</math> un [[espace mesuré]]. On ...15 kio (2 506 mots) - 23 octobre 2022 à 15:45
- Le '''théorème d'Eisenstein''' est le résultat suivant de [[géométrie]] [[arithmétique]], ...n\in\N}a_nX^n</math>}}est [[fonction algébrique|algébrique]] — au sens : [[Théorème des fonctions implicites|solution de {{math|1=''P''(''X'', ''y'') = 0}}]] p ...8 kio (1 330 mots) - 11 mars 2023 à 16:57
- Le '''théorème d'Ax-Kochen''' est un théorème de la [[théorie des nombres]] attribué à [[James Ax]] et [[Simon Kochen]]. {{théorème|nom=Théorème d'Ax-Kochen|énoncé=Pour tout entier <math>d > 0</math>, il existe un ensemb ...966 octet (159 mots) - 23 octobre 2018 à 08:25
Correspondances dans le texte des pages
- En théorie de la [[calculabilité]], le '''théorème de Post''', du nom d'[[Emil Post]], fait le lien entre [[hiérarchie arithmé {{Théorème|Pour tout ''n'' > 0 : ...953 octet (147 mots) - 16 septembre 2016 à 16:54
- {{Confusion|Théorème de Kleene|Théorème de récursion de Kleene}} ...s le domaine de la [[théorie des ordres]], le '''[[théorèmes de point fixe|théorème du point fixe]] de [[Stephen Cole Kleene|Kleene]]''' s'énonce comme suit : ...2 kio (282 mots) - 4 octobre 2021 à 07:46
- Le '''théorème d'accélération linéaire''' ou de '''speedup linéaire''' est un théorème de [[Théorie de la complexité (informatique théorique)|théorie de la comple Le théorème de d'accélération en temps est dû à [[Juris Hartmanis]] et [[Richard Stearn ...3 kio (451 mots) - 6 décembre 2017 à 11:33
- Le '''théorème optimisation/séparation''' est un [[théorème]] d'[[optimisation combinatoire]], un domaine des [[mathématiques]] et de l [[Catégorie:Théorème de combinatoire|Optimisation/séparation]] ...2 kio (326 mots) - 21 octobre 2021 à 08:04
- == Théorème de Church-Rosser == Le théorème de Church-Rosser est un résultat du [[lambda-calcul]]. Il énonce que la [[l ...3 kio (500 mots) - 19 février 2021 à 21:43
- Le '''théorème de Savitch''' est un [[théorème]] de [[théorie de la complexité des algorithmes|théorie de la complexité]], [[Walter Savitch]] a démontré ce théorème dans sa thèse de master sous la direction de [[Stephen Cook]]<ref name="gll ...3 kio (489 mots) - 1 octobre 2019 à 12:52
- ...programmation d'être universel et de satisfaire le [[Théorème d'itération|théorème s-n-m]]. D'après le [[théorème d'équivalence de Roger]], tous les systèmes acceptables de programmation so ...2 kio (335 mots) - 31 août 2022 à 15:39
- ...ing non déterministe]]. Cette classe est égale à [[EXPSPACE]] d'après le [[théorème de Savitch]]. D'après le {{Lien|langue=en|trad=Space hierarchy theorem|fr=théorème de hiérarchie en espace}}, PSPACE est strictement incluse dans NEXPSPACE. ...2 kio (269 mots) - 7 mars 2018 à 01:04
- ...ards) d'opérations par seconde mais sans pouvoir franchir cette limite. Ce théorème peut être exprimé d'une façon plus générale : considérant un [[bit]] d'info Le théorème de Margolus-Levitin constitue une limite fondamentale à la [[loi de Koomey] ...3 kio (488 mots) - 20 janvier 2021 à 01:04
- ...Stephen Cole Kleene|Stephen Kleene]], il est aussi connu sous le nom de '''théorème ''s<sub>mn</sub>'''''<ref>{{Ouvrage|auteur1=René Cori|auteur2=Daniel Lascar ...[[machine de Turing]] dont l'arrêt est indécidable ou dans la preuve du [[théorème de récursion de Kleene]]. ...3 kio (474 mots) - 4 octobre 2022 à 14:56
- ...symétrie continue implicitée par le [[théorème de Noether (mathématiques)|théorème de Noether]]. ...4 kio (639 mots) - 12 décembre 2024 à 17:20
- ...e la complexité (informatique théorique)|théorie de la complexité]], le '''théorème de Courcelle''' est le suivant : {{théorème|nom=Théorème de Courcelle|énoncé= Toute propriété de la [[logique monadique du second or ...4 kio (638 mots) - 6 février 2021 à 22:29
- {{Confusion|Théorème de Kleene|Théorème du point fixe de Kleene}} === Théorème de récursion === ...6 kio (936 mots) - 27 février 2024 à 11:29
- ===Le théorème d'Immerman-Szelepcsényi=== Dans sa forme générale, le [[théorème d'Immerman-Szelepcsényi]] énoncé l'égalité : ...3 kio (455 mots) - 3 décembre 2024 à 10:13
- ...Kodama de l’année 1962<ref>{{harvsp|Battle|Harary|Kodama|1962}}.</ref>. Le théorème est une réponse à une question sur la [[Graphe planaire|planarité]] de cert L'énoncé est le suivant<ref name="FH">{{Harvsp|Harary|1969|loc=Théorème 11.11}}.</ref> : ...3 kio (454 mots) - 20 janvier 2021 à 15:23
- Le '''théorème d'Ax-Kochen''' est un théorème de la [[théorie des nombres]] attribué à [[James Ax]] et [[Simon Kochen]]. {{théorème|nom=Théorème d'Ax-Kochen|énoncé=Pour tout entier <math>d > 0</math>, il existe un ensemb ...966 octet (159 mots) - 23 octobre 2018 à 08:25
- ...' (ou '''théorème de Sipser-Lautemann''' ou de '''Sipser-Gács''') est le [[théorème]] qui énonce que la classe probabiliste '''[[BPP (complexité)|BPP]]''' (''b ...miale ('''PH''')]] plus précisément dans Σ<sub>2</sub> ∩ Π<sub>2</sub>|nom=Théorème de Sipser–Gács–Lautemann}}La classe BPP contient exactement les problèmes q ...5 kio (678 mots) - 20 janvier 2021 à 18:04
- ...as confondre avec le [[théorème de Chomsky-Schützenberger (langage formel)|théorème de Chomsky-Schützenberger]] sur la représentation des [[langage algébrique| ...endré par une [[grammaire algébrique]] [[Grammaire ambigüe|inambiguë]]. Le théorème montre un lien entre la théorie des [[langage formel|langages formels]] et ...6 kio (1 024 mots) - 5 octobre 2023 à 22:08
- Informellement, le théorème de hiérarchie en espace indique que disposer de plus d'espace permet de déc === Théorème d'Immerman-Szelepcsényi === ...5 kio (731 mots) - 10 avril 2021 à 19:24
- Le '''théorème ergodique maximal''' est un [[théorème]] qui s'inscrit dans la [[théorie ergodique]], une branche des [[mathématiq Alors le théorème ergodique maximal énonce que ...1 kio (201 mots) - 13 mars 2025 à 13:05