see : aplusix.imag.fr

or  http://www-leibniz.imag.fr/~bouhino/


my interest : ILE for algebra
my teaching activities : Computer Science
my lab : LIG
my team : MeTAH