Intelligent Computer Mathematics: 10 Conf., AISC2010, 17 Conf., Calculemus 2010, 9 Conf., MKM2010

Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton