intended to develop into a large store of useful mathematical problem-solving techniques. Some of these techniques will be very general, while others will concern particular subareas of mathematics. All of them will be techniques that are used regularly by mathematical problem-solvers, at every level of experience.
M. Tatu. ACL 2005, 43rd Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, 25-30 June 2005, University of Michigan, USA, The Association for Computational Linguistics, (2005)
R. Baeza-Yates, and A. Tiberi. KDD '07: Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining, page 76--85. New York, NY, USA, ACM, (2007)
M. Pasca, B. Durme, and N. Garera. CIKM '07: Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, page 485--494. New York, NY, USA, ACM, (2007)
S. Liaskos, A. Lapouchnian, Y. Wang, Y. Yu, and S. Easterbrook. Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE'05), page 9--18. Paris, France, IEEE Computer Society, (September 2005)