Le projet modelmaths.td5 est une plateforme dédiée à la résolution de problèmes mathématiques complexes et à l'analyse de données. Il permet de générer des modèles mathématiques personnalisés et de les utiliser pour l'analyse de données. Le projet offre une interface intuitive et des fonctionnalités avancées pour les utilisateurs de tous niveaux.

Takuzu est un projet universitaire visant à créer un solveur et un générateur de grilles de Takuzu, un jeu de logique japonais. Il permet aux étudiants de s'entraîner à résoudre des grilles de manière algorithmique tout en offrant aux enseignants un outil pédagogique pour illustrer des concepts de programmation et de résolution de problèmes. Le projet inclut également des fonctionnalités pour générer des grilles personnalisables selon différents niveaux de difficulté.

Ce projet implémente et présente les résultats d'expériences menées dans notre article 'Surveillance personnalisable de réseaux de neurones à l'aide de boîtes de résolution'. Il permet de générer et de tester des moniteurs pour un réseau spécifié avec des données et des paramètres de couche prédéfinis.