Bibliothèque logicielle dédiée à la manipulation et à la simplification d'expressions mathématiques symboliques. Elle permet de développer, factoriser, résoudre et optimiser des équations algébriques complexes. Utilisée principalement dans des contextes scientifiques et techniques pour automatiser des calculs formels.