L'équipe INRIA TROPICAL

Méthodes tropicales: structures, algorithmes et interactions