Forme de l'Universthumb|Les trois formes possibles de l'Univers (voir l'article courbure spatiale). Le modèle le plus probable en 2016 est celui de l'Univers plat. Le terme "forme de l'Univers", en cosmologie, désigne généralement soit la forme (la courbure et la topologie) d'une section spatiale de l'Univers (« forme de l'espace-temps »), soit, de façon plus générale, la forme de l'espace-temps tout entier. Selon les observations astronomiques, l'Univers apparaît plat, avec toutefois une marge d'erreur de 0,4 %.
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.
Croix de multiplicationLa croix de multiplication « × » est un symbole mathématique utilisé principalement comme signe de multiplication, introduit en 1631 par William Oughtred dans . Ce symbole est aussi l'opérateur du produit cartésien et, en notation anglo-saxonne, du produit vectoriel. Dans le langage APL, il est associé comme opérateur unaire à la fonction signe. Il est utilisé par ailleurs en botanique pour l'écriture d'un nom d'hybride. La croix de multiplication est un caractère visuellement similaire à une croix de saint André (U+2613 ☓).
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Produit matricielLe produit matriciel désigne la multiplication de matrices, initialement appelé la « composition des tableaux ». Il s'agit de la façon la plus fréquente de multiplier des matrices entre elles. En algèbre linéaire, une matrice A de dimensions m lignes et n colonnes (matrice m×n) représente une application linéaire ƒ d'un espace de dimension n vers un espace de dimension m. Une matrice colonne V de n lignes est une matrice n×1, et représente un vecteur v d'un espace vectoriel de dimension n. Le produit A×V représente ƒ(v).
Absolute differenceThe absolute difference of two real numbers and is given by , the absolute value of their difference. It describes the distance on the real line between the points corresponding to and . It is a special case of the Lp distance for all and is the standard metric used for both the set of rational numbers and their completion, the set of real numbers . As with any metric, the metric properties hold: since absolute value is always non-negative. if and only if . (symmetry or commutativity).
Théorie oméga-cohérenteEn logique mathématique une théorie arithmétique est appelée théorie ω-cohérente (oméga-cohérente) quand, pour toute propriété P des nombres entiers que l'on peut exprimer dans le langage de la théorie, si pour chaque entier n, P(n) est démontrable dans la théorie, alors ¬∀x P(x) n'est pas démontrable dans la théorie (¬ pour la négation, ∀ pour la quantification universelle, « pour tout »). Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
Destin de l'Universvignette|alt=Une animation du comportement supposé d'un Big Crunch.|Une animation du comportement supposé d'un Big Crunch. La question du destin de l'Univers fait partie des questions fondamentales de la cosmologie. Elle a trait à l'évolution future de l'expansion de l'Univers. Pendant longtemps elle a été focalisée sur la question de savoir si l'expansion observée actuellement se poursuivrait indéfiniment, ou bien s'interromprait pour laisser place à une phase de contraction menant au Big Crunch, un effondrement général de l'Univers, analogiquement inverse du Big Bang.
Matrix multiplication algorithmBecause matrix multiplication is such a central operation in many numerical algorithms, much work has been invested in making matrix multiplication algorithms efficient. Applications of matrix multiplication in computational problems are found in many fields including scientific computing and pattern recognition and in seemingly unrelated problems such as counting the paths through a graph. Many different algorithms have been designed for multiplying matrices on different types of hardware, including parallel and distributed systems, where the computational work is spread over multiple processors (perhaps over a network).
Univers d'EinsteinL' est le premier modèle cosmologique fondé sur la théorie de la relativité générale découverte par Albert Einstein en 1915. Le modèle a été proposé par Einstein lui-même en 1917, mais a été abandonné à la suite de la découverte de l'expansion de l'Univers. L'Univers ainsi modélisé est statique et fermé, de courbure positive, dont la géométrie est celle d'une hypersphère, contenant une distribution homogène et isotrope de poussière de densité d'énergie propre , ainsi qu'une constante cosmologique , telle que : où est la constante de Newton et est la vitesse de la lumière dans le vide.
