缅怀恩师吴文俊先生-中国科学院数学与系统科学研究院.PDFVIP

缅怀恩师吴文俊先生 王东明 送 别 先生走了，狂作的黄沙顷刻化为白云。星光停止闪烁，明 月低沉默哀，旭日染红天宫。先生鹤发童颜，驾鹤临空，极目 茫茫大地、作别芸芸后生。 先生是天国的使者，是数学王国的雅士，是洞悉古今、指 点中西的高人。 先生脚踏实地、辛勤耕耘，诠释何以灵光一现、苦尽甘来。 先生慈祥和蔼、言传身教，解读怎样为师治学、做事做人。 先生的成就、先生的精神、先生的情怀是无价的财富。 先生安详地走了，将财富和哀思留在人间，将乐观和超脱 带进天堂。 恩师吴文俊先生永远安好、永远指导我努力前行！ 仙人 |凡人 • 吴先生是一位仙人 他高瞻远瞩、洞悉古今、儒雅睿智、超然洒脱， 这些是我想学而学不会的. • 吴先生又是一位普通人 他热爱事业、辛勤工作、待人宽厚、生活朴实， 这些，作为吴先生的学生我一直在学. 吴方法在符号计算领域的地位 • Buchberger 的 Gröbner 基方法（1965） • Collins 的 CAD （柱形代数分解）方法（1975） • 吴方法 （1977） 是符号与代数计算领域的三大核心方法. 它们也是符号计算整个学科的基石. 吴方法在自动推理领域的地位 • Larry Wos （自动推理的奠基人之一） • Woody Bledsoe （人工智能的奠基人之一） • John Alan Robinson （提出的归结原理奠 定了机器证明的基础） • 吴文俊 （提出了证明几何定理的代数方法） 四人的工作代表自动推理领域的最高成就. 吴先生的部分学生 (1986-1997) • 胡 森 （-- J. Mather/W.Thurston, Princeton） （中国科学技术大学教授） • 王东明 （法国科学研究中心研究员、北京航空航天大学教授） • 高小山、刘卓军、李子明、王定康、李洪波、支丽红 （中国科学院数学与系统科学研究院研究员） • 李树荣 （中国石油大学教授） • 吴尽昭 （北京交通大学、广西民族大学教授） • 王明生 （中国科学院信息工程研究所研究员） 谢 谢！