Logiciels

BATI Bibliothèque d’Analyse et Traitement de l’Information
FLOULIB Librairie MATLAB qui implémente de la logique floue
MEREOLOGY

Librairie Coq de constitution d’une méréologie

  • Librairie Coq de constitution d’une topologie générale