【王者之路-机器证明及其应用】吴文俊湖南科学技术.pdf
半个世纪以来,人类在从事脑力劳 动过程中,越来越多地依靠计算机的帮 助。因此、如何系统有序地实现脑力劳 动的机械化,具有深远的现实意义。其 中,数学机械化就是为了发展理论,推 进应用,进一步提高人类的整体生活质。近:十年来,我国学者继承了中国 古代的数学思想,在这一领域取得了世 人瞒目的成就。积累了丰富的经验。本 书围绕国家攀登计划“机器证明及其应 用”项目,重点介绍中国学者在定理机 器证明上取得的突破性进展,用通俗的 语言,图文并茂地描述了中国的方法和 理论。并简介它在机器人学、计算机几 何辅助设计、计算机视觉、物理规律的 发现等方面的成功应用,以及国内外最 新进展。
《攀登计划普及丛书》编辑委员会 主 任:冯思健 副主 任:朱新民丁乃刚邵立勤唐洪潤 委 员:李文范白松乾马宏建李永平王一方 策 划:朱新民张碧金