吴文俊——从拓扑学到数学机械化(9)

2.求解代数方程组是数学上极为困难的问题。在理论上属于代数几何学。但是，西方数学难以建立有效算法来真正去解这个方程组。而吴文俊方法恰巧能有效地做到这一点。
3.由于理论的可靠性及方法的可行性，产生许多重大的应用，理论上自动推理，例如由开普勒定律推出牛顿万有引力定理，在实用上，解决力学、物理、化学、机器人、连杆设计等一系列问题。
在1999年5月庆祝吴文俊80寿诞之际，张恭庆发言指出，吴文俊是中国数学界的一面旗帜。这句话准确地概括吴文俊学识、工作、人品及思想各个方面。本文只是对他在学术上的影响略陈一、二。更祥细内容参看[1]-[5]以及[6]中一些论文。吴文俊的著作目录参见[2]。关于数学机械化的最新综述，参看[7]。

【参考文献】
[1]　胡作玄：“吴文俊”，《中国现代科学家传记》，第二集，卢嘉锡主编，北京，科学出版社，1991,93-111。
[2]　胡作玄：《吴文俊》，《中国现代数学家传》第一卷，程民德主编，江苏南京：江苏教育出版社，1994,377-400。
[3]　胡作玄：“吴文俊”，《世界数学家思想方法》，解恩泽、徐本顺主编，山东济南：山东教育出版社，1994,1689-1754。
[4]　胡作玄：“吴文俊与拓扑学及数学机械化”，《中国当代科技精华：数学与信息科学卷》，卢嘉锡主编，黑龙江哈尔滨，黑龙江教育出版社，1994,117-129。
[5]　胡作玄：“吴文俊”，《中国科学技术专家传略》理学编数学卷1，王元主编，石家庄，河北教育出版社，1996,381-397。
[6]　林东岱等主编：《数学与数学机械化》，济南，山东教育出版社，2001。
[7]　高小山：“数学机械化进展综述”，数学进展30:5(2001)385-404。
[8]　H.Cartan,Oeuvres,Berlin,Springer Verlag 1979,1254.
[9]　M.Stone,Notice Amer.Math,Soc 8,(1961).

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说理学类吴文俊——从拓扑学到数学机械化(9)在线全文阅读。