Vide (astronomie)En astronomie, un vide est un espace dont la densité de matière est extrêmement faible situé entre des filaments galactiques reliant des superamas, les plus grandes structures de l'univers. Ces vides ont généralement un diamètre allant de 11 à 150 Mpc. Lorsque des vides prennent de telles dimensions, ils sont parfois appelés supervides. Les vides situés dans des régions à forte densité de matière sont plus petits que ceux situés dans des régions moins denses de l'univers.
Apollonios de PergaApollonios de Perga ou Apollonius de Perge (en grec ancien / Apollốnios o Pergaíos), né dans la seconde moitié du (probablement autour de ), disparu au début du est un géomètre et astronome grec. Il serait originaire de Pergé (ou Perga, ou encore Pergè actuelle Aksu en Turquie), mais a vécu à Alexandrie. Il est considéré comme l'une des grandes figures des mathématiques hellénistiques et a exercé une influence importante sur les développements de l'analyse au . Apollonius serait né à Perge autour de 240 .
Spirale d'Archimèdethumb|Spirale d'Archimède d'équation r = t/π. thumb|Spirale d'Archimède représentée sur un graphe polaire. La spirale d'Archimède est la courbe d'équation polaire suivante : La spirale d'Archimède est la courbe décrite par un point en déplacement uniforme sur une droite en rotation elle-même uniforme autour d'un point. Le sillon des disques vinyle est une spirale d'Archimède. La spirale dessinée ci-contre est une spirale définie pour des angles positifs.
Spirale logarithmiqueUne spirale logarithmique est une courbe dont l'équation polaire est de la forme : où a et b sont des réels strictement positifs (b différent de 1) et la fonction exponentielle de base b. Cette courbe étudiée au a suscité l'admiration de Jacques Bernoulli pour ses propriétés d'invariance. On la trouve dans la nature, par exemple dans la croissance de coquillages ou pour la disposition des graines de tournesol. Le nom de spirale logarithmique lui est donné par Pierre Varignon.
Galaxie satelliteUne galaxie satellite gravite autour d'une plus grande galaxie. Dans une paire de galaxies en orbite, si l'une est nettement plus grande que l'autre, alors, la plus grosse est la galaxie primaire et la plus petite, la galaxie satellite. Si deux galaxies en orbite sont de taille plus ou moins équivalentes, on dit qu'elles forment un système binaire, comparable (mais à une tout autre échelle) à un système binaire d'étoiles. Des galaxies qui se rapprochent peuvent entrer en collision.
BételgeuseBételgeuse (α Orionis) est une étoile variable semi-régulière de type supergéante rouge, dans la constellation d’Orion, située à une distance très difficile à établir. En 2008, un article propose la distance de , mais elle fut définie à 427 années-lumière pendant les décennies précédentes. En 2013, le télescope spatial Herschel estime que Bételgeuse pourrait approcher la distance de 500 années-lumière. Bien qu'étant désignée par la lettre « alpha » dans la désignation de Bayer, elle n'est souvent que la deuxième étoile la plus brillante de la constellation d'Orion, derrière Rigel.
Éléments (Euclide)Les Éléments (en grec ancien / stoïkheïa) est un traité mathématique et géométrique, constitué de 13 livres organisés thématiquement, probablement écrit par le mathématicien grec Euclide vers Il comprend une collection de définitions, axiomes, théorèmes et leur démonstration sur les sujets de la géométrie euclidienne et de la théorie des nombres primitifs. L'ouvrage est le plus ancien exemple connu d'un traitement axiomatique et systématique de la géométrie et son influence sur le développement de la logique et de la science occidentale est fondamentale.
Raisonnement automatisévignette|Visualisation commune du réseau de neurones artificiels avec puce NOTOC Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
Trou noir binairevignette|Vue d'artiste de deux trous noirs en train de fusionner. Un trou noir binaire est un système binaire hypothétique composé de deux trous noirs en orbite l'un autour de l'autre. Ils sont l'une des plus grandes sources d'ondes gravitationnelles de l'univers observable. Ce système binaire serait instable en raison d'une certaine perte de moment cinétique avec le temps. Conséquemment, les trous noirs se rapprochent l'un de l'autre jusqu'à ce qu'ils fusionnent, ce qui crée des changements de caractéristiques qui entraînent certains changements structurels au sein d'une hypothétique galaxie hôte.
Astéroïdevignette|upright=1.4|L'astéroïde de la ceinture principale (243) Ida ainsi que sa lune Dactyle. Dactyle est la première lune astéroïdale à avoir été découverte. vignette|upright=1.4|L’astéroïde géocroiseur (101955) Bénou photographié par la sonde OSIRIS-REx en décembre 2018. vignette|upright=1.4|Modélisation basée sur des images radar de l'astéroïde géocroiseur (4769) Castalie. Il s'agit d'un corps binaire à contact.
GW150914GW150914 est le nom du signal à l’origine de la première observation directe d’ondes gravitationnelles annoncée le par les laboratoires LIGO et Virgo. La détection a été faite le à sur les deux sites américains jumeaux LIGO construits en Louisiane et dans l’État de Washington à trois mille kilomètres de distance. La forme d’onde correspond aux prédictions de la relativité générale concernant la chute en spirale et la fusion d’une paire de trous noirs et l’effet provoqué par le trou noir résultant.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
