"Proceedings 1992 Int. Workshop on Mathematics Mechanization" - читать интересную книгу автора (Wu Wen-Tsun, Cheng Min-De. (eds.))