Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Rotation formalisms in three dimensionsIn geometry, various formalisms exist to express a rotation in three dimensions as a mathematical transformation. In physics, this concept is applied to classical mechanics where rotational (or angular) kinematics is the science of quantitative description of a purely rotational motion. The orientation of an object at a given instant is described with the same tools, as it is defined as an imaginary rotation from a reference placement in space, rather than an actually observed rotation from a previous placement in space.
Mouvement à la PoinsotEn mécanique du solide, on appelle mouvement à la Poinsot, le mouvement d'un solide autour de son centre de gravité G, le moment des forces extérieures par rapport à G étant nul. Ce mouvement est caractérisé par la conservation du moment cinétique et de l'énergie cinétique de rotation , demi-produit scalaire du moment cinétique et du vecteur de rotation instantanée. Il existe 3 cas : le solide est à symétrie sphérique. Ses moments principaux d'inertie sont égaux : A = B = C.
Cinnamon (logiciel)Cinnamon (du nom de la cannelle en anglais) est un environnement de bureau, initialement développé par (et pour) Linux Mint. Il s'agit d'un fork de GNOME Shell, qui se veut plus proche de la métaphore du bureau (avec par exemple un menu présentant les applications classées par catégories, plutôt qu'une liste d'icônes) délaissée par GNOME 3.0. Liste des applications spécifiques à Cinnamon : Nemo, gestionnaire de fichiers dérivé de Nautilus ; Muffin, gestionnaire de fenêtres dérivé de Mutter ; Arch Linux Cubu
Budgie (logiciel)Budgie est un environnement de bureau qui utilise les technologies GNOME telles que GTK+. Il est développé par le projet Solus ainsi que par des contributeurs provenant de nombreuses communautés comme openSUSE Tumbleweed, Arch Linux et Ubuntu Budgie. En septembre 2021, le fondateur du projet annonce que du fait de désaccords trop profonds avec la direction prise par le projet GNOME et sa librairie GTK, Budgie 11 sera basé sur la librairie graphique EFL.
MATEMATE (prononcer maté à l'espagnole) est un environnement de bureau libre utilisant (dans un premier temps) la boîte à outils GTK+ 3.x et destiné aux systèmes d'exploitation apparentés à UNIX. Il consiste en un fork de GNOME 2 et son nom vient du yerba maté dont les feuilles sont utilisées pour préparer une boisson stimulante en Amérique latine. Afin de permettre une installation sans conflit avec les composants de GNOME 3, plusieurs applications ont été renommées.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Rotation vectorielleSoit E un espace vectoriel euclidien. Une rotation vectorielle de E est un élément du groupe spécial orthogonal SO(E). Si on choisit une base orthonormée de E, sa matrice dans cette base est orthogonale directe. Matrice de rotation Dans le plan vectoriel euclidien orienté, une rotation vectorielle est simplement définie par son angle . Sa matrice dans une base orthonormée directe est : Autrement dit, un vecteur de composantes a pour image le vecteur de composantes que l'on peut calculer avec l'égalité matricielle : c'est-à-dire que l'on a : et Si par exemple et , désigne un des angles du triangle rectangle de côtés 3, 4 et 5.
Plane of rotationIn geometry, a plane of rotation is an abstract object used to describe or visualize rotations in space. The main use for planes of rotation is in describing more complex rotations in four-dimensional space and higher dimensions, where they can be used to break down the rotations into simpler parts. This can be done using geometric algebra, with the planes of rotations associated with simple bivectors in the algebra.
Quaternions et rotation dans l'espaceLes quaternions unitaires fournissent une notation mathématique commode pour représenter l'orientation et la rotation d'objets en trois dimensions. Comparés aux angles d'Euler, ils sont plus simples à composer et évitent le problème du blocage de cardan. Comparés aux matrices de rotations, ils sont plus stables numériquement et peuvent se révéler plus efficaces. Les quaternions ont été adoptés dans des applications en infographie, robotique, navigation, dynamique moléculaire et en mécanique spatiale des satellites.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Rigid transformationIn mathematics, a rigid transformation (also called Euclidean transformation or Euclidean isometry) is a geometric transformation of a Euclidean space that preserves the Euclidean distance between every pair of points. The rigid transformations include rotations, translations, reflections, or any sequence of these. Reflections are sometimes excluded from the definition of a rigid transformation by requiring that the transformation also preserve the handedness of objects in the Euclidean space.
