Andrea Asperti Bruno Buchberger James H. Davenport Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings MKM Lecture Notes in Computer Science 2594 Springer 2003 3-540-00568-4 db/conf/mkm/mkm2003.html