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.
Algorithme de multiplication d'entiersLes algorithmes de multiplication permettent de calculer le résultat d'une multiplication. Graphiquement, il s'agit de transformer un rectangle multiplicateur × multiplicande en une ligne, en conservant le nombre d'éléments. Ce type de multiplication n'utilise que des additions et des multiplications ou des divisions par 2. Elle ne nécessite pas de connaître de table de multiplication (autre que la multiplication par 2).
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).
Univers observableL'Univers observable est, en cosmologie, la partie visible de notre Univers. Il est donc une boule dont la limite est située à l'horizon cosmologique et dont la Terre constitue le centre. C'est ainsi une notion relative, d'autres observateurs situés ailleurs dans l'Univers n'ont pas la même boule observable, mais une similaire de même rayon.
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.
GénéralUn général est un chef militaire de haut rang commandant une grande unité militaire interarmes (gendarmerie, infanterie, cavalerie, génie, marine, aviation) longtemps appelée armée. Dans le domaine militaire contemporain, un général est un officier de la gendarmerie, de l'Armée de terre ou de l'air dont le grade s'inscrit au sommet de la hiérarchie, laquelle comprend généralement dans l'ordre ascendant : les militaires du rang, les sous-officiers, les officiers subalternes, les officiers supérieurs et les officiers généraux.
Primitive notionIn mathematics, logic, philosophy, and formal systems, a primitive notion is a concept that is not defined in terms of previously-defined concepts. It is often motivated informally, usually by an appeal to intuition and everyday experience. In an axiomatic theory, relations between primitive notions are restricted by axioms. Some authors refer to the latter as "defining" primitive notions by one or more axioms, but this can be misleading. Formal theories cannot dispense with primitive notions, under pain of infinite regress (per the regress problem).
Erreur typeLerreur type d'une statistique (souvent une estimation d'un paramètre) est l'écart type de sa distribution d'échantillonnage ou l'estimation de son écart type. Si le paramètre ou la statistique est la moyenne, on parle d'erreur type de la moyenne. La distribution d'échantillonnage est générée par tirage répété et enregistrements des moyennes obtenues. Cela forme une distribution de moyennes différentes, et cette distribution a sa propre moyenne et variance.
