Logiciels

• DCA-CLASS (plate-forme), algorithmes basés sur la programmation DC et DCA pour différentes thématiques de fouille de données
  Responsable : Le Thi Hoai An
  
• DCA-SI (plate-forme), nouvelles méthodes d'optimisation basées sur DCA et les approches globales
  Responsable : Le Thi Hoai An
  
• SPIKE, démonstrateur de théorèmes basé sur la récurrence implicite
  Responsable : Stratulat Sorin
  http://code.google.com/p/spike-prover