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 permet de trouver toutes les racines d'un arbre, d'analyser sa structure et de calculer des métriques associées. Il est particulièrement utile dans les domaines de la bio-informatique, de la recherche en informatique théorique et de l'intelligence artificielle.

Ce projet héberge des codes et documents liés à des recherches en mathématiques et informatique théorique. Il propose des implémentations d'algorithmes pour résoudre des équations différentielles polynomiales et transformer des équations différentielles en équations algébriques différentielles. Ces travaux s'appuient sur des publications scientifiques et visent à expérimenter des méthodes théoriques.

Ce projet permet d'analyser des systèmes bilinéaires en déterminant des bornes inférieures et supérieures pour leurs propriétés. Il offre des fonctionnalités avancées comme l'identification de motifs primitifs, la génération de certificats sous forme d'arbres, et l'optimisation des calculs via des méthodes comme le rayon spectral ou la gestion de systèmes épars. Les outils développés sont utiles pour la recherche en mathématiques appliquées ou en informatique théorique.

Outil logiciel dédié à la vérification formelle de systèmes concurrents via la construction de graphes d'observation symboliques. Il permet d'analyser des modèles complexes en exploitant des techniques de parallélisation pour améliorer l'efficacité et réduire les temps de calcul. Utilisé dans le cadre de la recherche académique en informatique théorique, notamment pour l'étude des systèmes distribués et des protocoles de communication.

Projet pédagogique et de recherche dédié à l'enseignement du traitement automatique du langage naturel (TALN) et de l'informatique appliquée à la linguistique. Il propose des supports de cours, des notebooks interactifs et des données pour illustrer les concepts théoriques et pratiques du domaine, notamment via des outils comme Python et Jupyter.

Projet académique dédié à l'étude et à la manipulation des programmes écrits en Yacc, un générateur d'analyseurs syntaxiques. Il permet aux étudiants et chercheurs de comprendre, modifier et tester des grammaires formelles pour des langages de programmation ou des formats de données. Utilisé dans le cadre de cours ou de recherches en informatique théorique et génie logiciel.

Plateforme dédiée à la simulation et à la modélisation de systèmes complexes pour la recherche en informatique théorique. Elle permet aux chercheurs et ingénieurs de tester des hypothèses, valider des algorithmes et collaborer sur des projets scientifiques avancés. Les outils proposés facilitent l'exploration de modèles mathématiques et la visualisation de résultats expérimentaux.

Projet de recherche en informatique théorique axé sur la vérification formelle de preuves mathématiques et le développement de tactiques dépendantes dans le langage Meta Dedukti. Il permet d'assurer la correction et la fiabilité des démonstrations logiques et mathématiques à l'aide de méthodes formelles avancées.

Ce projet présente un article scientifique sur le système de transformation DIRAC. Il s'agit d'une étude approfondie des mécanismes et des applications de ce système dans le domaine de l'informatique théorique et pratique. L'objectif est de partager des connaissances avancées et de contribuer à la recherche académique.