"Mathematical Knowledge Management, 2 conf., MKM 2003" - читать интересную книгу автора (Andrea Asperti, Bruno Buchberger, James Harold Davenport)