CohomologyIn mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
OpportunityOpportunity (« Opportunité, Occasion » en anglais), alias MER-B (Mars Exploration Rover - B), est la deuxième astromobile de la mission Mars Exploration Rover de l'agence spatiale américaine, la NASA, lancé vers la planète Mars en 2003. L'engin qui s'est posé sur Mars le dans la région équatoriale de Terra Meridiani avait pour but d'étudier la géologie de Mars et de déterminer en particulier le rôle joué par l'eau dans l'histoire de la planète. Sa mission qui devait durer 90 jours s'est achevée officiellement en février 2019.
Spirit (rover)Spirit (« Esprit » en anglais), alias MER-A (Mars Exploration Rover - A), est l'un des deux astromobiles de la mission Mars Exploration Rover de l'agence spatiale américaine, la NASA, lancé vers la planète Mars en 2003. L'engin qui s'est posé sur Mars le 4 janvier 2004 dans le cratère Goussev avait pour but d'étudier la géologie de Mars et de déterminer en particulier le rôle joué par l'eau dans l'histoire de la planète. Sa mission qui devait durer 90 jours s'est achevée officiellement en mars 2010.
Cohomologie de De RhamEn mathématiques, la cohomologie de De Rham est un outil de topologie différentielle, c'est-à-dire adapté à l'étude des variétés différentielles. Il s'agit d'une théorie cohomologique fondée sur des propriétés algébriques des espaces de formes différentielles sur la variété. Elle porte le nom du mathématicien Georges de Rham. Le affirme que le morphisme naturel, de la cohomologie de De Rham d'une variété différentielle vers sa cohomologie singulière à coefficients réels, est bijectif.
Mars Exploration RoverMars Exploration Rover (MER) est une mission double de la NASA lancée en 2003 et composée de deux robots mobiles ayant pour objectif d'étudier la géologie de la planète Mars, en particulier le rôle joué par l'eau dans l'histoire de la planète. Les deux astromobiles ont été lancés au début de l'été 2003 et se sont posés en sur deux sites martiens susceptibles d'avoir conservé des traces de l'action de l'eau dans leur sol.