Logiciels

• SPIKE  : démonstrateur de théorèmes basé sur la récurrence implicite
  http://code.google.com/p/spike-prover (responsable : Sorin Stratulat)
• COGITO  :résoudre les problèmes d’optimisation de grande taille en planification et gestion des ressources
  (responsable : A. Nagih)
• DCA-CLASS (plate-forme) :algorithmes basés sur la programmation DC et DCA pour différentes thématiques de fouille de données
  (responsable : H.A. Le Thi)
• DCA-SI (plate-forme) :nouvelles méthodes d’optimisation basées sur DCA et les approches globales
  (responsable : H.A. Le Thi)