Mathematical knowledge management : second International Conference, MKM 2003 : Bertinoro, Italy, February 16-18, 2003 : proceedings - Asperti, Andrea, 1961- (Springer, 2003)