Autexier, S., Calmet, J., Delahaye, D., Ion, P. D. F., Rideau, L., Rioboo, R., & Sexton, A. P. (2010). Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.

Autexier, Serge., Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton. Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Autexier, Serge., et al. Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.