Dynamic linkerIn computing, a dynamic linker is the part of an operating system that loads and links the shared libraries needed by an executable when it is executed (at "run time"), by copying the content of libraries from persistent storage to RAM, filling jump tables and relocating pointers. The specific operating system and executable format determine how the dynamic linker functions and how it is implemented.
Analyse vectorielleL'analyse vectorielle est une branche des mathématiques qui étudie les champs de scalaires et de vecteurs suffisamment réguliers des espaces euclidiens, c'est-à-dire les applications différentiables d'un ouvert d'un espace euclidien à valeurs respectivement dans et dans . Du point de vue du mathématicien, l'analyse vectorielle est donc une branche de la géométrie différentielle. Cette dernière inclut l'analyse tensorielle qui apporte des outils plus puissants et une analyse plus concise entre autres des champs de vecteurs.
VitesseEn physique, la vitesse est une grandeur qui mesure le rapport d'une évolution au temps. Exemples : vitesse de sédimentation,vitesse d'une réaction chimique, etc. De manière élémentaire, la vitesse s'obtient par la division d'une mesure d'une variation (de longueur, poids, volume, etc.) durant un certain temps par la mesure de ce temps écoulé. En particulier, en cinématique, la vitesse est une grandeur qui mesure pour un mouvement, le rapport de la distance parcourue au temps écoulé.
QuadrivitesseEn physique, en particulier en relativité restreinte et en relativité générale, la quadrivitesse d'un objet est un quadrivecteur généralisant le vecteur vitesse en mécanique classique. La quadrivitesse est une des notions que le mathématicien et physicien allemand Hermann Minkowski (-) a introduites dans le cadre de sa reformulation géométrique de la relativité restreinte d'Albert Einstein (-). La quadrivitesse est ainsi désignée car elle est le quadrivecteur qui généralise la notion de vitesse de la mécanique newtonienne.
History of Lorentz transformationsThe history of Lorentz transformations comprises the development of linear transformations forming the Lorentz group or Poincaré group preserving the Lorentz interval and the Minkowski inner product . In mathematics, transformations equivalent to what was later known as Lorentz transformations in various dimensions were discussed in the 19th century in relation to the theory of quadratic forms, hyperbolic geometry, Möbius geometry, and sphere geometry, which is connected to the fact that the group of motions in hyperbolic space, the Möbius group or projective special linear group, and the Laguerre group are isomorphic to the Lorentz group.
Système de coordonnées curvilignesUn système de coordonnées curvilignes est une façon d'attribuer à chaque point du plan ou de l'espace un ensemble de nombres. Soit un point de l'espace dont les coordonnées sont notées . Un système de coordonnées quelconques est obtenu en se donnant trois fonctions arbitraires des paramètres , telles que ; ces fonctions sont choisies le plus souvent continues, et même différentiables. Les points correspondant à deux des trois coordonnées constantes décrivent une ligne de coordonnées.
PesanteurLe champ de pesanteur est le champ attractif qui s'exerce sur tout corps doté d'une masse sur la Terre (ou un autre astre). Il s'agit d'un champ d'accélération, souvent appelé plus simplement pesanteur ou « g ». L'essentiel de la pesanteur terrestre est due à la gravité, mais s'en distingue du fait de l'accélération axifuge induite par la rotation de la Terre sur elle-même. La gravité terrestre découle de la loi universelle de la gravitation de Newton, selon laquelle tous les corps massifs, dont les corps célestes et la Terre, exercent un champ de gravitation responsable d'une force attractive sur les autres corps massiques.
Vecteur de PoyntingEn physique, le vecteur de Poynting est la densité de flux liée à la propagation de l'onde électromagnétique. Sa direction est la direction de propagation. On le note , , ou . Le flux du vecteur de Poynting à travers une surface (fermée ou non) est égal à la puissance véhiculée par l'onde à travers cette surface. Le module de ce vecteur est donc une puissance par unité de surface, c'est-à-dire une densité de flux d'énergie ; il est homogène à un éclairement énergétique et à une exitance énergétique ; et, dans le Système international (SI) d'unités, il s'exprime en watts par mètre carré.
Espèce introduitevignette|300px|Le blé Triticum est une espèce originaire de Mésopotamie introduite dans le monde entier. On qualifie d'espèce introduite une population identifiée/isolée d'une espèce donnée -- qu'elle soit présente ou maintenue présente artificiellement (espèces domestiquées, espèces « adventives ») en cours de naturalisation ou déjà naturalisée -- dans un territoire donnée, considérant qu'elle n'est pas une espèce indigène dudit territoire mais y a été importée par une intervention humaine (délibérée ou non).
Problème du sac à dosEn algorithmique, le problème du sac à dos, parfois noté (KP) (de l'anglais Knapsack Problem) est un problème d'optimisation combinatoire. Ce problème classique en informatique et en mathématiques modélise une situation analogue au remplissage d'un sac à dos. Il consiste à trouver la combinaison d'éléments la plus précieuse à inclure dans un sac à dos, étant donné un ensemble d'éléments décrits par leurs poids et valeurs.
Matrice d'une application linéaireEn algèbre linéaire, la matrice d'une application linéaire est une matrice de scalaires qui permet de représenter une application linéaire entre deux espaces vectoriels de dimensions finies, étant donné le choix d'une base pour chacun d'eux. Soient : E et F deux espaces vectoriels sur un corps commutatif K, de dimensions respectives n et m ; B = (e, ... , e) une base de E, C une base de F ; φ une application de E dans F.
Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
