"Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)" - читать интересную книгу автора (Andrea Asperti, Bruno Buchberger, James Harold Davenport)