Mathematical knowledge management : second International Conference, MKM 2003 : Bertinoro, Italy, February 16-18, 2003 : proceedings - Asperti, Andrea, 1961-; Buchberger, Bruno, 1942-; Davenport, J. H. 1953- (Lecture notes in computer science ;, 2003)