SageManifolds est un projet de calcul formel dédié à la géométrie différentielle. Il permet de réaliser des calculs de calcul différentiel sur les variétés différentielles, de manipuler des tenseurs, et de faire des calculs d'algèbre extérieure.