Théorèmes d'incomplétude de GödelLes théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.
Leibniz integral ruleIn calculus, the Leibniz integral rule for differentiation under the integral sign states that for an integral of the form where and the integrands are functions dependent on the derivative of this integral is expressible as where the partial derivative indicates that inside the integral, only the variation of with is considered in taking the derivative. It is named after Gottfried Leibniz.
Exponentielle intégraleEn mathématiques, la fonction exponentielle intégrale, habituellement notée Ei, est définie par : Comme l'intégrale de la fonction inverse () diverge en 0, cette définition doit être comprise, si x > 0, comme une valeur principale de Cauchy. vignette|Représentation graphique de la fonction exponentielle intégrale. La fonction Ei est liée à la fonction li (logarithme intégral) par : vignette|upright=1.5|Représentation graphique des fonctions E (en haut) et Ei (en bas), pour x > 0.
Polynôme d'HermiteEn mathématiques, les polynômes d'Hermite sont une suite de polynômes qui a été nommée ainsi en l'honneur de Charles Hermite (bien qu'ils aient été définis, sous une autre forme, en premier par Pierre-Simon Laplace en 1810, surtout été étudiés par Joseph-Louis Lagrange lors de ses travaux sur les probabilités puis en détail par Pafnouti Tchebychev six ans avant Hermite). Ils sont parfois décrits comme des polynômes osculateurs.
Valeur propre, vecteur propre et espace propreEn mathématiques, et plus particulièrement en algèbre linéaire, le concept de vecteur propre est une notion algébrique s'appliquant à une application linéaire d'un espace dans lui-même. Il correspond à l'étude des axes privilégiés, selon lesquels l'application se comporte comme une dilatation, multipliant les vecteurs par une même constante. Ce rapport de dilatation est appelé valeur propre, les vecteurs auxquels il s'applique s'appellent vecteurs propres, réunis en un espace propre.
Edmund LandauEdmund Georg Hermann Landau (Berlin, - Berlin, ) est un mathématicien allemand juif, auteur de 253 publications mathématiques, en grande partie sur la théorie des nombres. Landau étudie les mathématiques à l'université de Berlin et reçoit son doctorat en 1899 et son habilitation (la qualification post-doctorale requise dans les universités allemandes) en 1901. Il enseigne à l'université de Berlin de 1899 à 1909 et conservera sa chaire à l'université de Göttingen de 1909 jusqu'à son expulsion de l'université par le régime nazi en 1933 du fait qu'il est juif.
Théorème fondamental des fonctions symétriquesEn mathématiques, et plus particulièrement en algèbre commutative, le théorème fondamental des fonctions symétriques, souvent appelé « théorème fondamental des polynômes symétriques » ou « théorème de Newton », stipule que tout polynôme symétrique en n indéterminées à coefficients dans un anneau (commutatif) A s'exprime de façon unique par une fonction polynomiale des n polynômes symétriques élémentaires. Autrement dit, les n polynômes symétriques élémentaires forment une partie génératrice de l'algèbre des polynômes symétriques en n indéterminées sur A et sont algébriquement indépendants sur A.
Georg ScheffersGeorg Scheffers est un mathématicien allemand spécialisé en géométrie différentielle, né le 21 novembre 1866 à Altendorf (village aujourd'hui incorporé dans Holzminden) et mort le 12 août 1945 à Berlin. Scheffers étudie à partir de 1884 à l'Université de Leipzig avec Felix Klein et Sophus Lie. En 1890 il soutient une thèse de doctorat sous la direction de Sophus Lie (). En 1896, Scheffers devient dozent à l'Université de technologie de Darmstadt, où il est nommé professeur en 1900.
Carl Philipp von WredeCarl Philipp Joseph von Wrede, né le à Heidelberg, mort le à Ellingen en royaume de Bavière, est un feld-maréchal bavarois de la Révolution et de l’Empire. D'une famille noble, il est le plus jeune des trois enfants de Ferdinand-Joseph, baron de Wrede, conseiller intime et secrétaire de la cour suprême. Carl Philipp fait ses études dans sa ville natale. Destiné à l'administration forestière, il préfère la carrière de la magistrature dans le Palatinat électoral, et est d'abord conseiller à Mannheim, puis en 1792, assesseur à la Haute Cour d'Heidelberg.
H.264vignette|Le diagrame de ce système H.264, ou MPEG-4 AVC (Advanced Video Coding), ou MPEG-4 Part 10, est une norme de codage vidéo développée conjointement par l'UIT-T Q.6/SG16 Video Coding Experts Group (VCEG) ainsi que l'ISO/CEI Moving Picture Experts Group (MPEG) et est le produit d'un effort de partenariat connu sous le nom Joint Video Team (JVT). La norme UIT-T H.264 et la norme ISO/CEI MPEG-4 Part 10 (ISO/CEI 14496-10) sont techniquement identiques, et la technologie employée est aussi connue sous le nom AVC, pour Advanced Video Coding.
H.265H.265, ou « MPEG-H HEVC » (High Efficiency Video Coding), est une norme de codage/compression vidéo ISO/CEI 23008-2 et UIT-T H.265, publiée le . Elle est développée conjointement par les groupes Video Coding Experts Group (VCEG) et Moving Picture Experts Group (MPEG) et doit succéder au H.264 (ISO/CEI 14496-10 et UIT-T H.264). Ses applications concernent aussi bien la compression des vidéos en ultra-haute définition que la diminution du débit de transmission sur les réseaux pour les vidéos en définition standard avec des applications pour la vidéo sur mobile et pour l'extension de l'éligibilité aux services audiovisuels (TV, VoD.
Hubertus von BoninHubertus von Bonin, né le à Potsdam et mort au combat le vers Haradok, dans l'oblast de Vitebsk (Biélorussie), est un pilote de chasse allemand, as de la Luftwaffe pendant la Seconde Guerre mondiale. Bonin est crédité d'avoir abattu 77 avions ennemis. La majorité de ses victoires ont été remportées sur le front de l'Est. Il remporta également quatre victoires en Espagne pendant la guerre civile. Il opéra en tant que Geschwaderkommodore de la Jagdgeschwader 54 (JG 54—54th Fighter Wing).
