Ce projet extrait et traite des matrices de comparaison de produits (PCMs) depuis des pages Wikipedia dédiées aux logiciels. Il nettoie et structure ces données pour les rendre exploitables en analyse formelle de concepts (FCA) et en extraction de variabilités. Les PCMs sont transformées en formats adaptés (CSV, RCFT) pour des outils comme RCAExplore, facilitant l'étude des caractéristiques et des relations entre produits.

Bibliothèque logicielle dédiée à l'analyse formelle de concepts, une méthode mathématique pour organiser et structurer des données en concepts hiérarchisés. Elle permet d'extraire des connaissances à partir de jeux de données complexes, facilitant ainsi la modélisation et l'analyse de relations entre objets et attributs.

FCA4J est une bibliothèque Java dédiée à l'analyse formelle de concepts (FCA) et à l'analyse conceptuelle relationnelle (RCA). Elle permet de construire des treillis de concepts, des posets AOC et des bases d'implications à partir de contextes formels, facilitant l'exploration et la visualisation de données structurées pour en extraire des connaissances exploitables.

NAKED est un outil dédié à l'analyse et à la visualisation de bases de connaissances basées sur des règles existentielles. Il permet de calculer les réparations logiques d'une base incohérente, de générer des hypergraphes d'argumentation et de représenter graphiquement ces structures de manière interactive. Utilisé principalement dans le domaine de la logique formelle et de l'intelligence artificielle, il facilite la compréhension des incohérences et des conflits au sein des données.

Ce projet propose des ensembles de données structurés sous forme de contextes formels et de matrices de comparaison de produits (PCM). Les données, issues de sources comme Wikipedia ou générées aléatoirement, sont utilisées pour des analyses en fouille de données et en exploration de relations entre produits. L'objectif est de faciliter la recherche académique et l'étude des propriétés structurelles des produits.

FCAvizIR est une plateforme web dédiée à l'exploration visuelle de règles d'implication issues de l'analyse de contextes formels. Elle permet aux utilisateurs d'interagir avec des données complexes via trois vues coordonnées et une boîte à outils. L'outil facilite le filtrage des métriques, la sélection multiple d'attributs et de relations, et offre une visualisation dynamique sous forme de diagrammes d'Euler et de listes d'implications.

Linkky est une bibliothèque Python permettant d'effectuer l'interlinking de données en utilisant l'analyse de contextes formels (FCA) et l'analyse de contextes relationnels (RCA). Elle prend en entrée deux sources de données et extrait les candidats de clés de liaison globales.

Ce projet se concentre sur l'optimisation et la minimisation des transducteurs monoïdaux, des structures utilisées en informatique théorique pour modéliser des transformations de données. Il vise à réduire leur complexité tout en préservant leur fonctionnalité, facilitant ainsi leur utilisation dans des applications nécessitant des calculs formels ou des analyses de données avancées.

Le projet pari-notebook fournit un environnement de calcul interactif basé sur PARI/GP, un système de calcul formel performant. Il permet aux utilisateurs de réaliser des calculs mathématiques complexes et d'analyser des données numériques de manière intuitive.

CADBIOM est un logiciel open source de modélisation permettant de donner un cadre formel à la modélisation de systèmes biologiques tels que les réseaux de signalisation cellulaire. Il est basé sur la sémantique des transitions surveillées et offre une interface graphique pour faciliter la conception et l'analyse de ces modèles.