|
Action Concertée Incitative Nouvelles Interfaces des Mathématiques |
|
|
Projet Mao -- Mathématiques assistées par ordinateur |
|
|
M. Benjamin Werner Project LogiCal, INRIA-futur M. Loïc Pottier Project Lemme, INRIA Sophia-Antipolis (dernière mise à jour du site : 14 décembre 2004) |
|
|
|
|