Four-accelerationIn the theory of relativity, four-acceleration is a four-vector (vector in four-dimensional spacetime) that is analogous to classical acceleration (a three-dimensional vector, see three-acceleration in special relativity). Four-acceleration has applications in areas such as the annihilation of antiprotons, resonance of strange particles and radiation of an accelerated charge. In inertial coordinates in special relativity, four-acceleration is defined as the rate of change in four-velocity with respect to the particle's proper time along its worldline.
Connexion de KoszulEn géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d'un fibré vectoriel. Cette notion a été introduite par Jean-Louis Koszul en 1950 et formalise le transport parallèle de vecteurs le long d'une courbe en termes d'équation différentielle ordinaire. Les connexions sont des objets localement définis auxquels sont associées les notions de courbure et de torsion. L'un des exemples les plus simples de connexions de Koszul sans torsion est la connexion de Levi-Civita naturellement définie sur le fibré tangent de toute variété riemannienne.
Égalité devant la loiL’égalité devant la loi ou égalité en droit est le principe selon lequel tout être humain doit être traité de la même façon par la loi (principe d’isonomie). Aucun individu ou groupe d'individus ne doit donc avoir de privilèges garantis par la loi. Le principe d'égalité devant la loi trouve son origine dans le principe d'isonomie défini par Clisthène au , et qui constituait l'un des fondements de la démocratie athénienne. Grâce à ce principe, Clisthène a mis en œuvre des réformes en 508 et 507 av. J.-C.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Proper accelerationIn relativity theory, proper acceleration is the physical acceleration (i.e., measurable acceleration as by an accelerometer) experienced by an object. It is thus acceleration relative to a free-fall, or inertial, observer who is momentarily at rest relative to the object being measured. Gravitation therefore does not cause proper acceleration, because the same gravity acts equally on the inertial observer. As a consequence, all inertial observers always have a proper acceleration of zero.
Notation de Leibnizvignette|Portrait de Gottfried Wilhelm Leibniz En analyse, la notation de Leibniz, nommée en l'honneur de Gottfried Wilhelm Leibniz, consiste en l'usage des notations « d droit » (d) suivies d'une quantité x pour représenter une variation infinitésimale de x, de même que « delta » (Δ) sert à représenter une variation finie. Par extension, c'est une notation couramment utilisée pour écrire les dérivées. En physique, cette notation est interprétée comme une modification infinitésimale (de position, de vitesse.
Equality of outcomeEquality of outcome, equality of condition, or equality of results is a political concept which is central to some political ideologies and is used in some political discourse, often in contrast to the term equality of opportunity. It describes a state in which all people have approximately the same material wealth and income, or in which the general economic conditions of everyone's lives are alike.
Théorème de dérivation des fonctions composéesEn mathématiques, dans le domaine de l'analyse, le théorème de dérivation des fonctions composées (parfois appelé règle de dérivation en chaîne ou règle de la chaîne, selon l'appellation anglaise) est une formule explicitant la dérivée d'une fonction composée pour deux fonctions dérivables. Elle permet de connaître la j-ème dérivée partielle de la i-ème application partielle de la composée de deux fonctions de plusieurs variables chacune.
Référentiel barycentriqueEn physique, le référentiel barycentrique, appelé aussi référentiel du centre de masse, est un référentiel en translation (par rapport à un référentiel galiléen de référence) dans lequel le centre d'inertie du système étudié est immobile. La translation du référentiel barycentrique ne signifie pas que c'est une translation rectiligne. Par exemple, une cabine de grande roue de fête foraine, quand elle tourne, est en mouvement de translation circulaire et elle se comporte comme le référentiel barycentrique de la Lune qui, elle, est en mouvement de rotation dans le référentiel géocentrique.
Differentiation rulesThis is a summary of differentiation rules, that is, rules for computing the derivative of a function in calculus. Unless otherwise stated, all functions are functions of real numbers (R) that return real values; although more generally, the formulae below apply wherever they are well defined — including the case of complex numbers (C). For any value of , where , if is the constant function given by , then . Let and . By the definition of the derivative, This shows that the derivative of any constant function is 0.
LongueurEn géométrie, la longueur est la mesure d'une courbe dans un espace sur lequel est définie une notion de distance. La longueur est une mesure linéaire sur une seule dimension, par opposition à la surface qui est une mesure sur deux dimensions, et au volume dont la mesure porte sur trois dimensions. La longueur d'une courbe ne doit pas être confondue avec la distance entre deux points, qui correspond au minimum des longueurs des chemins reliant ces points. La longueur est une grandeur physique et une dimension de base.
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.
