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.
Équations de Navier-Stokesthumb|Léonard de Vinci : écoulement dans une fontaine En mécanique des fluides, les équations de Navier-Stokes sont des équations aux dérivées partielles non linéaires qui décrivent le mouvement des fluides newtoniens (donc des gaz et de la majeure partie des liquides). La résolution de ces équations modélisant un fluide comme un milieu continu à une seule phase est difficile, et l'existence mathématique de solutions des équations de Navier-Stokes n'est pas démontrée.
Dynamique des fluidesLa dynamique des fluides (hydrodynamique ou aérodynamique), est l'étude des mouvements des fluides, qu'ils soient liquides ou gazeux. Elle fait partie de la mécanique des fluides avec l'hydrostatique (statique des fluides). La résolution d'un problème de dynamique des fluides demande de calculer diverses propriétés des fluides comme la vitesse, la viscosité, la densité, la pression et la température en tant que fonctions de l'espace et du temps.
Naissance des étoilesLa naissance des étoiles ou formation stellaire, voire stellogénèse ou stellogonie, est un domaine de recherche en astrophysique, qui consiste en l'étude des modes de formation des étoiles et des systèmes planétaires. Les étoiles en formation sont fréquemment appelées « étoiles jeunes ». Selon le scénario actuellement admis, confirmé par l'observation, les étoiles se forment en groupe à partir de la contraction gravitationnelle d'une nébuleuse, un nuage de gaz et de poussière, qui se fragmente en plusieurs cœurs protostellaires.
Graphiose de l'ormeLa graphiose, aussi parfois nommée « maladie hollandaise de l’orme », est une maladie fongique de l’orme. thumb|left|upright| Orme attaqué par Ophiostoma ulmi. La graphiose de l’orme est causée par le champignon Ophiostoma ulmi (sensu lato) transmis par le grand scolyte de l’orme (Scolytus scolytus), coléoptère de la sous-famille des Scolytinae. Un des premiers symptômes est une déformation de l’écorce des branches de l’orme adulte. On reconnaît aussi un arbre malade à son feuillage desséché qui reste malgré tout en place.
Tourbillon de turbulencevignette|upright=0.75|Allées de Karman autour de Madère et des îles Canaries vignette|upright=0.75|Les courants océaniques de Oya shivo et Kuroshio se rencontrent et donnent un tourbillon de turbulence visible par la concentration du phytoplancton dans le vortex. Un tourbillon de turbulence est un élément d'une masse fluide turbulente qui a une certaine individualité et une certaine vie qui lui sont propres. Il peut être causé par un obstacle dans le flot créant un contre-courant, par une différence de densité entre deux sections du fluide ou par la rencontre de deux fluides.
Rail transportRail transport (also known as train transport) is a means of transport that transfers passengers and goods on wheeled vehicles running on rails, which are incorporated in tracks. In contrast to road transport, where the vehicles run on a prepared flat surface, rail vehicles (rolling stock) are directionally guided by the tracks on which they run. Tracks usually consist of steel rails.Rolling stock in a rail transport system generally encounters lower frictional resistance than rubber-tyred road vehicles, so passenger and freight cars (carriages and wagons) can be coupled into longer trains.
Structure stellairethumb|Diagramme montrant la structure interne d'une étoile telle que le Soleil : 1. Noyau 2. Zone de rayonnement 3. Zone de convection 4. Photosphère 5. Chromosphère 6. Couronne 7. Tache solaire 8. Granulation 9. Éruption solaire Les modèles de structure stellaire décrivent la structure interne des étoiles de différentes masses et âges, ainsi que permettent de faire des prédictions sur la luminosité, la couleur et l'évolution future de ces étoiles.
Galaxie d'AndromèdeLa galaxie d'Andromède, également désignée M31 dans le Catalogue de Messier et NGC 224, est une galaxie spirale située à environ d'années-lumière du Soleil, dans la constellation d'Andromède. La galaxie d'Andromède (NGC 224) a été utilisée par Gérard de Vaucouleurs comme une galaxie de type morphologique SA(s)b dans son atlas des galaxies.
Espace (cosmologie)L'espace comprend les zones de l'Univers situées au-delà des et des corps célestes. Il s'agit de l'étendue de densité quasi nulle qui sépare les astres. On parle aussi de vide spatial. Selon les endroits de l'espace concernés, on le qualifie parfois d'espace cislunaire, interplanétaire, interstellaire (ou intersidéral) ou intergalactique pour désigner plus précisément le vide spatial qui est délimité respectivement par le système Terre-Lune, les planètes, les étoiles et les galaxies.
