Bibliothèque de tactiques pour l'assistant de preuve Coq, dédiée à la simplification des preuves d'inégalités sur des expressions de nombres réels. Elle permet d'automatiser le calcul d'encadrements précis pour des fonctions mathématiques complexes, facilitant ainsi la vérification formelle de propriétés analytiques dans les preuves assistées par ordinateur.

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.

Ce projet est un environnement de développement basé sur Jupyter et repo2docker, spécialement conçu pour le calcul formel avec pari-gp et arb. Il simplifie la création de conteneurs de développement pour les calculs formels, ce qui permet aux utilisateurs de se concentrer sur leur travail sans se soucier de la configuration de l'environnement.

Bibliothèque logicielle dédiée aux fermetures algébriques dans le domaine du calcul formel. Elle permet aux développeurs et mathématiciens de manipuler des expressions mathématiques de manière simplifiée et optimisée, en offrant des outils pour les calculs avancés et les transformations algébriques.

Projet de recherche en informatique théorique visant à simplifier et automatiser l'élimination de l'univalence dans les systèmes de types. Il permet de transformer des preuves complexes en calculs plus simples et plus efficaces, facilitant ainsi le développement de logiciels formellement vérifiés. Basé sur des concepts avancés de théorie des types, il s'adresse principalement aux chercheurs et développeurs en informatique fondamentale.

Ce projet est une bibliothèque OCaml conçue pour simplifier l'utilisation de l'API OpenMaple. OpenMaple est une interface de programmation permettant d'interagir avec le logiciel Maple, un outil de calcul formel largement utilisé en mathématiques et en ingénierie. Cette wrapper OCaml offre une interface plus accessible et intégrée pour les développeurs souhaitant exploiter les fonctionnalités de Maple dans des programmes écrits en OCaml.