Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 - Asperti, Andrea; Asperti, Andrea; Buchberger, Bruno; Buchberger, Bruno; Davenport, James Harold; Davenport, James Harold (Springer Berlin Heidelberg : Imprint: Springer, 2003)