"Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving" - читать интересную книгу автора (Wu Wen-tsun)