BiquaternionEn mathématiques, un biquaternion (ou quaternion complexe) est un élément de l'algèbre des quaternions sur les nombres complexes. Le concept d'un biquaternion fut mentionné la première fois par William Rowan Hamilton au . William Kingdon Clifford utilisa le même nom à propos d'une algèbre différente. biquaternion de Clifford Il y a aussi une autre notion de biquaternions, distincte : une algèbre de biquaternions sur un corps commutatif K est une algèbre qui est isomorphe au produit tensoriel de deux algèbres de quaternions sur K (sa dimension est 16 sur K, et non pas 8 sur R).
Self-reconfiguring modular robotModular self-reconfiguring robotic systems or self-reconfigurable modular robots are autonomous kinematic machines with variable morphology. Beyond conventional actuation, sensing and control typically found in fixed-morphology robots, self-reconfiguring robots are also able to deliberately change their own shape by rearranging the connectivity of their parts, in order to adapt to new circumstances, perform new tasks, or recover from damage.
Lie group–Lie algebra correspondenceIn mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is and (see real coordinate space and the circle group respectively) which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other.
CoquaternionEn mathématiques et en algèbre abstraite, un coquaternion est une idée mise en avant par James Cockle en 1849. Comme les quaternions de Hamilton inventés en 1843, ils forment un espace vectoriel réel à quatre dimensions muni d'une opération multiplicative. À la différence de l'algèbre des quaternions, les coquaternions peuvent avoir des diviseurs de zéro, des éléments idempotents ou nilpotents. L'ensemble forme une base. Les produits de coquaternion de ces éléments sont Avec ces produits l'ensemble est isomorphe au groupe diédral d'un carré.
Geometry pipelinesGeometric manipulation of modelling primitives, such as that performed by a geometry pipeline, is the first stage in computer graphics systems which perform image generation based on geometric models. While geometry pipelines were originally implemented in software, they have become highly amenable to hardware implementation, particularly since the advent of very-large-scale integration (VLSI) in the early 1980s.
Atlas (robot)vignette|Vue de face du robot Atlas en 2013. Atlas est un robot de type androïde principalement développé par Boston Dynamics, sous financement et surveillance de la Defense Advanced Research Projects Agency (DARPA). Il mesure 1,88 m et est conçu pour diverses tâches de recherche et sauvetage, il a été dévoilé au public le . Le développement d'Atlas fait partie du Darpa Robotics Challenge. En 2016, une vidéo présentant une évolution du robot est diffusée par Boston Dynamics.
TorseurUn torseur est un outil mathématique utilisé principalement en mécanique du solide indéformable, pour décrire les mouvements des solides et les actions mécaniques qu'ils subissent de la part d'un environnement extérieur. Son nom fait référence à la forme des lignes de champ du champ de vecteurs correspondant, en forme de torsade. Un certain nombre de vecteurs utilisés en mécanique sont des moments : moment d'une force, moment cinétique, moment dynamique.
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Cost curveIn economics, a cost curve is a graph of the costs of production as a function of total quantity produced. In a free market economy, productively efficient firms optimize their production process by minimizing cost consistent with each possible level of production, and the result is a cost curve. Profit-maximizing firms use cost curves to decide output quantities. There are various types of cost curves, all related to each other, including total and average cost curves; marginal ("for each additional unit") cost curves, which are equal to the differential of the total cost curves; and variable cost curves.
Problème SATvignette|Une instance du Sudoku peut être transformée en une formule de logique propositionnelle à satisfaire. Une assignation des variables propositionnelles donne une grille complétée. En informatique théorique, le problème SAT ou problème de satisfaisabilité booléenne est le problème de décision, qui, étant donné une formule de logique propositionnelle, détermine s'il existe une assignation des variables propositionnelles qui rend la formule vraie. Ce problème est important en théorie de la complexité.
