Ideen Poincarés und Riemanns folgend führte Cartan Differentialformen und eine darauf aufbauende Homologietheorie ein, deren Äquivalenz zur üblichen Homologietheorie von seinem Studenten de Rham in den 1930ern bewiesen wurde.