2009. Intelligent Computer Mathematics, 5–12 July. The Reasoner. 3, 9 (Sep. 2009).