Transformation de Fourier rapideLa transformation de Fourier rapide (sigle anglais : FFT ou fast Fourier transform) est un algorithme de calcul de la transformation de Fourier discrète (TFD). Sa complexité varie en O(n log n) avec le nombre n de points, alors que la complexité de l’algorithme « naïf » s'exprime en O(n). Ainsi, pour n = , le temps de calcul de l'algorithme rapide peut être 100 fois plus court que le calcul utilisant la formule de définition de la TFD.
Inégalité de ChernoffEn théorie des probabilités, l'inégalité de Chernoff permet de majorer la queue d'une loi de probabilité, c'est-à-dire qu'elle donne une valeur maximale de la probabilité qu'une variable aléatoire dépasse une valeur fixée. On parle également de borne de Chernoff. Elle est nommée ainsi en l'honneur du mathématicien Herman Chernoff. Elle est comparable à l'inégalité de Markov mais donne une borne exponentielle. Il existe de nombreux énoncés, et de nombreux cas particuliers.
Proof of impossibilityIn mathematics, a proof of impossibility is a proof that demonstrates that a particular problem cannot be solved as described in the claim, or that a particular set of problems cannot be solved in general. Such a case is also known as a negative proof, proof of an impossibility theorem, or negative result. Proofs of impossibility often are the resolutions to decades or centuries of work attempting to find a solution, eventually proving that there is no solution.
DécidabilitéEn logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L’indécidabilité est la négation de la décidabilité. Dans les deux cas, il s'agit de formaliser l'idée qu'on ne peut pas toujours conclure lorsque l'on se pose une question, même si celle-ci est sous forme logique. Une proposition (on dit aussi énoncé) est dite décidable dans une théorie axiomatique si on peut la démontrer ou démontrer sa négation dans le cadre de cette théorie.
Thèse de Cobhamthumb|Le graphique montre le temps en millisecondes pour résoudre des instances du problème du sac à dos en fonction de la taille d'entrée n. L'expérience a été réalisée sur un ordinateur Pentium III 933 MHz (les données proviennent d'une moyenne sur 100 instances à chaque fois). En informatique, la thèse de Cobham, aussi connue sous la thèse de Cobham–Edmonds (nommée d'après Alan Cobham et Jack Edmonds) postule que les problèmes calculables « facilement » sont les problèmes calculables en temps polynomial.
Symboles de ChristoffelEn mathématiques et en physique, les symboles de Christoffel (ou coefficients de Christoffel, ou coefficients de connexion) sont une expression de la connexion de Levi-Civita dérivée du tenseur métrique. Les symboles de Christoffel sont utilisés dans les calculs pratiques de la géométrie de l'espace : ce sont des outils de calculs concrets, par exemple pour déterminer les géodésiques des variétés riemanniennes, mais en contrepartie leur manipulation est relativement longue, notamment du fait du nombre de termes impliqués.
Seconde forme fondamentaleLa seconde forme fondamentale est une forme quadratique caractérisant certains aspects de la géométrie différentielle des surfaces. Ce concept est d'abord apparu dans l'étude des surfaces réglées avant de prendre toute sa généralité dans le cadre de la géométrie riemannienne. Alors que la première forme fondamentale décrit la « géométrie interne » d'une surface (c'est-à-dire les propriétés qui peuvent être déterminées depuis la surface elle-même), la seconde forme fondamentale dépend de la situation de la surface dans l'espace.
Première forme fondamentaleLa première forme fondamentale est un outil utilisé dans l'étude des surfaces de l'espace euclidien. Elle se calcule en chaque point P de la surface Σ et s'interprète comme une écriture formelle du produit scalaire euclidien usuel en restriction au plan tangent TPΣ. On note la première forme fondamentale par la lettre romaine I. La première forme fondamentale est susceptible de généralisations dans le cadre de la géométrie riemannienne, c'est-à-dire des variétés (espaces courbes modelés localement sur l'espace euclidien) pour étudier l'inclusion d'une variété riemannienne dans une autre, ou plus généralement les façons d'appliquer une variété riemannienne dans une autre.
Égalité des chancesEn tant que valeur sociale, l’égalité des chances est une notion complexe. Le terme est, en effet, polysémique, et donc sujet à interprétation. L’objectivité dans la définition donnée dans cet article sera donc relative. Notons également l’ambiguïté du terme chance, mis au pluriel dans cette expression. L’égalité des chances est une exigence qui veut que le statut social des individus d’une génération ne dépende plus des caractéristiques morales, ethniques, religieuses, financières et sociales des générations précédentes, mais uniquement du service qu'ils peuvent apporter à la société, voire à la civilisation.
Définition d'opérateurLa définition d'opérateur est une fonctionnalité offerte par certains langages de programmation qui permet d'utiliser des opérateurs (comme +, = ou ==) comme des fonctions ou des méthodes en les définissant pour de nouveaux types de données. Les opérateurs ne sont pas nécessairement des symboles. Parfois, la définition de nouveaux opérateurs est autorisée. Il s'agit généralement de sucre syntaxique, et peut facilement être émulé par des appels de fonction ou de méthode : avec définition d'opérateurs : a + b * c ; sans définition d'opérateurs : somme (a, produit (b, c)).
