维普资讯 http://www.cqvip.com 句 程 组 经 并 软 微 目 几 了 吴文俊，男，１９１９年５月１２ 引入具有非同伦拓扑不变量的 一代数簇的通常局限无奇点情形 的陈示性数于有任意奇点的陈 类与陈数．且定义是可计算的． 日生于上海，１９４０年毕业于上 海交通大学．１９４９年获法国国 种一般构造方法．并系统地用 之于嵌入问题．引入了复合形示 家博士学位。著名数学家，中国 科学院院士．中国数学机械化研 嵌类．并用同样方法研究浸入问 题与同痕问题．引入类似的示浸 类与示痕类 应当注意的是他在 １９５６年前完成的研究成果的重 形成代数几何机械化的新篇章 几十年来．吴文俊院士获得 过很多奖项：１９５６年获首届国 究的创始人。曾任中国科学院系 统科学研究所名誉所长、研究 员。 吴文俊研究领域涉及代数 家自然科学一等奖：１９７９年获 中国科学院自然科学一等奖： 要性，在多年以后才显现出来， 至今仍在国际上广泛引用 ＾ １９９０年获第三世界科学院数学 拓扑学、自动推理、机器证明、代 数几何、中国数学史、博奕论、数 学机械化等，并有杰出的贡献， 在国内外享有盛誉 他的“吴方 法”在国际机器证明领域产生巨 大的影响，有广泛的、重要的应 用价值 当前国际流行的主要符 后期始于１９７６年，从事机 器证明与数学机械化的研究 他 提出的用计算机证明几何定理 奖：１９９３年获陈嘉庚数理科学 奖：１９９４年获首届求是科 技基金会杰出科学家奖：１９９７ 年获Ｈｅｒｂｒａｎｄ自动推理杰出成 的方法．与常用的基于数理逻辑 的方法根本不同．显现了无比的 就奖：２０００年获首届国家最高 优越性，改变了国际上自动推理 研究的面貌．被称为自动推论领 域的先驱性工作．并因此获得 Ｈｅｒｂｒａｎｄ自动推论杰出成就奖 科学技术奖：２００６年获第三届 邵逸夫数学奖 （梁 辑） 号计算软件都实现了吴文俊教 授的算法。 ＰｌｏＮＥＥＲＩＮＧ ＷＩＴＨ ＳＣＩＥＮＣＥ＆ＴＥＣＨＮｏＬｏＧＹ ＭｏＮＴＨＬＹ，ｖＯ．８ ２００８ ｆ：
