Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Mathematical modelling of infectious diseasesMathematical models can project how infectious diseases progress to show the likely outcome of an epidemic (including in plants) and help inform public health and plant health interventions. Models use basic assumptions or collected statistics along with mathematics to find parameters for various infectious diseases and use those parameters to calculate the effects of different interventions, like mass vaccination programs. The modelling can help decide which intervention(s) to avoid and which to trial, or can predict future growth patterns, etc.
Projet Orionthumb|upright=1.4|Vue d'artiste d'un vaisseau Orion selon les principes de conception de la NASA. Le Projet Orion fut la première étude de conception d'un véhicule spatial mû par propulsion nucléaire pulsée, idée proposée par Stanislaw Ulam en 1947. Le projet, amorcé dans les années 1950, était mené par une équipe d'ingénieurs et de physiciens de General Atomics, comprenant quelques célébrités telles que le physicien Theodore Taylor. Sur la demande de Taylor, le physicien Freeman Dyson quitta pendant une année ses travaux universitaires pour diriger le projet.
Simulation informatiquevignette|upright=1|Une simulation informatique, sur une étendue de , de l'évolution du typhon Mawar produite par le Modèle météorologique Weather Research and Forecasting La simulation informatique ou numérique est l'exécution d'un programme informatique sur un ordinateur ou réseau en vue de simuler un phénomène physique réel et complexe (par exemple : chute d’un corps sur un support mou, résistance d’une plateforme pétrolière à la houle, fatigue d’un matériau sous sollicitation vibratoire, usure d’un roulem
BiomathématiqueLa biomathématique est le domaine d'étude qui réunit la biologie et les mathématiques. De façon précise les biomathématiques sont constituées par l'ensemble des méthodes et techniques mathématiques, numériques et informatiques qui permettent d'étudier et de modéliser les phénomènes et processus biologiques. Il s'agit donc bien d'une science fortement pluridisciplinaire que le mathématicien seul (ou le biologiste seul) est incapable de développer. Pour naître et vivre cette discipline exige des équipes interdisciplinaires mues par le sens du concret.
Simulation de phénomènesLa simulation de phénomènes est un outil utilisé dans le domaine de la recherche et du développement. Elle permet d'étudier les réactions d'un système à différentes contraintes pour en déduire les résultats recherchés en se passant d'expérimentation. Les systèmes technologiques (infrastructures, véhicules, réseaux de communication, de transport ou d'énergie) sont soumis à différentes contraintes et actions. Le moyen le plus simple d'étudier leurs réactions serait d'expérimenter, c'est-à-dire d'exercer l'action souhaitée sur l'élément en cause pour observer ou mesurer le résultat.
Propulsion par fusion nucléairevignette| Schéma d'une fusée à fusion par la NASA. La propulsion par fusion nucléaire est une conception théorique de fusée propulsée par un réacteur à fusion nucléaire qui pourrait fournir une accélération efficace et soutenue dans l'espace sans avoir besoin de transporter une grande quantité de carburant. Le concept nécessite une technologie de fusion au-delà des capacités actuelles, ainsi que des fusées beaucoup plus grandes et plus complexes que les fusées actuelles.
EchinodermataLes échinodermes (Echinodermata) forment un embranchement d'animaux marins benthiques présents à toutes les profondeurs océaniques, et dont les premières traces fossiles remontent au Cambrien. Ils regroupent actuellement cinq classes : les étoiles de mer, les oursins, les Holothuries, les Crinoïdes et les Ophiures. Toutes les espèces sont exclusivement marines : on ne connaît aucune espèce terrestre ni d'eau douce. Très originaux, les représentants de ce groupe possèdent un certain nombre de caractéristiques uniques dans le monde animal.
Moteur ioniqueUn moteur ionique est un moteur qui produit sa force de propulsion en accélérant des ions à très haute vitesse. En pratique ce terme désigne le moteur ionique utilisant des grilles polarisées et s'oppose à l'autre grande catégorie de moteur ionique : le propulseur à effet Hall. Le moteur ionique se range dans la famille des propulseurs électriques c'est-à-dire des moteurs dont l'énergie est d'origine électrique et fournie par une source externe (panneaux solaires) par opposition aux moteurs-fusées classiques qui tirent leur énergie des réactions chimiques ou des ergols.
Mathématiques financièresLes mathématiques financières (aussi nommées finance quantitative) sont une branche des mathématiques appliquées ayant pour but la modélisation, la quantification et la compréhension des phénomènes régissant les opérations financières d'une certaine durée (emprunts et placements / investissements) et notamment les marchés financiers. Elles font jouer le facteur temps et utilisent principalement des outils issus de l'actualisation, de la théorie des probabilités, du calcul stochastique, des statistiques et du calcul différentiel.
