Le projet SageManifolds (https://sagemanifolds.obspm.fr), développé essentiellement au LUX, consiste à étendre le logiciel SageMath vers la géométrie différentielle et le calcul tensoriel. Il fournit ainsi des outils très utiles pour les calculs de relativité générale générale menés par les chercheurs du LUX. Plus généralement, les outils SageManifolds sont utilisés par des mathématiciens et des physiciens théoriciens.
SageManifolds
Calcul tensoriel formel sur les variétés
SageMath (https://www.sagemath.org) est un logiciel de calcul formel et de mathématiques numériques. Il s’agit d’une alternative libre à Mathematica, Maple et Matlab.
SageMath est écrit en Python et incorpore de nombreux logiciels mathématiques libres pré-existants, dont Maxima, GAP, Matplotlib et Numpy. En plus d’être libre (et donc open-source), un avantage de SageMath est d’être basé sur Python et donc de pouvoir bénéficier de tout l’écosystème Python, en particulier des notebooks Jupyter. Tout le code Python développé via le projet SageManifolds est intégré à SageMath après un processus de revue. Plus de détails, ainsi que des tutoriels vidéo, sont fournis sur la page du projet : https://sagemanifolds.obspm.fr.
