Site
Logiciels
- Explorer3D
- Explorer3D est un logiciel de classification automatique orienté vers la visualisation et l'interaction.
- 3D4J
- Bibliothèque Java pour la visualisation et la navigation 3D.
- QeCode
- Un solveur pour les problèmes de satisfaction de contraintes quantifiées (QCSP).
- Skizzo
- Un solveur pour les problèmes de satisfaction de formules Booléennes quantifiées.
- QuantMiner
- Extraction de règles d'association quantitatives fondée sur les algorithmes génétiques.
- SIGMiner
- Extraction de règles caractéristiques dans les bases de données.