发展的背景下，他继承和发展了中国古代数学的传统即算法化思想，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊院士热爱祖国，有高尚的科学道德，是数学界德高望重的前辈，至今仍在数学机械化研究的第线。在多年的研究工作中，始终站在数学领域的前沿，做出了原创性研究成果。在国际上产生了重大影响。点击返回目录完托马斯杨布朗安培高斯阿伏伽德罗奥斯特盖吕萨克欧姆菲涅耳法拉第年科学家点击姓名查看卡诺克拉珀龙亨利惠斯通韦伯楞次勒维烈迈尔焦耳亚当斯亥姆霍兹开尔文巴耳末麦克斯韦赫兹现在科学家点击姓名查看伦琴爱迪生罗兰特斯拉贝克勒耳洛伦兹汤姆孙帕邢普朗克皮埃尔居里密立根玛丽居里威耳孙卢瑟福赖曼爱因斯坦玻恩盖革薛定谔玻尔伊伦居里弗雷德里克居里查德威克德布罗意泡利海森伯劳伦斯狄拉克费米杰出华人科学家点击姓名查看吴有训张衡年科学家点击姓名查看沈括哥白尼吉尔伯特第谷伽利略布鲁诺年科学家点击姓名查看开普勒惠更斯笛卡儿牛顿华伦海特伯努利摄耳修斯托里拆利格里凯帕斯卡玻意耳年科学家点击姓名查看富兰克林卡文迪许瓦特库仑伽伐尼威廉赫舍尔伏打查理托马斯杨布朗安培高斯阿伏伽德罗奥斯特盖吕萨克欧姆菲涅耳法拉第年科学家点击姓名查看卡诺克拉珀龙亨利惠斯通韦伯楞次勒维烈迈尔焦月出生于上海，年毕业于上海交通大学数学系。年赴法国大学留学，获博士学位。年被选为中国科学院学部委员院士。年被第三世界科学院选为院士。年至年任中国科学院数学所副所长研究员。年至现在任中国科学院系统科学研究所副所长名誉所长研究员。吴文俊院士是著名的数学家，他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统即算法化思想，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊院士热爱祖国，有高尚的科学道德，是数学界德高望重的前辈，至今仍在数学机械化研究的第线。在多年的研究工作中，始终站在数学领域的前沿，做出了原创性研究成果。在国际上产生了重大影响。点击返回目录完托马斯杨布朗安培高斯阿伏伽德罗奥斯特盖吕萨克欧姆菲涅耳法拉第年科学家点击姓名查看卡诺克拉珀龙亨利惠斯通韦伯楞次勒维烈迈尔焦耳亚当斯亥姆霍兹开尔文巴耳末麦克斯韦赫兹现在科学家点击姓名查看伦琴爱迪生罗兰特斯拉贝克勒耳洛伦兹汤姆孙帕邢普朗克皮埃尔居里密立根玛丽居里威耳孙卢瑟福赖曼爱因斯坦玻恩盖革薛定谔玻尔伊伦居里弗雷德里克居里查德威克德布罗意泡利海森伯劳伦斯狄拉克费米杰出华人科学家点击姓名查看吴有训帮帮文库目录往上！科学家全集目录公元年前科学家点击姓名查看亚里士多德阿基米德墨翟托勒玫张衡年科学家点击姓名查看沈括哥白尼吉尔伯特第谷伽利略布鲁诺年科学家点击姓名查看开普勒惠更斯笛卡儿牛顿华伦海特伯努利摄耳修斯托里拆利格里凯帕斯卡玻意耳年科学家点击姓名查看富兰克林卡文迪许瓦特库仑伽伐尼威廉赫舍尔伏打查理托马斯杨布朗安培高斯阿伏伽德罗奥斯特盖吕萨克欧姆菲涅耳法拉第年科学家点击姓名查看卡诺克拉珀龙亨利惠斯通韦伯楞次勒维烈迈尔焦月出生于上海，年毕业于上海交通大学数学系。年赴法国大学留学，获博士学位。年被选为中国科学院学部委员院士。年被第三世界科学院选为院士。年至年任中国科学院数学所副所长研究员。年至现在任中国科学院系统科学研究所副所长名誉所长研究员。吴文俊院士是著名的数学家，他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，影响深远，享誉世界。年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统即算法化思想，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为“吴方法”，产生了巨大影响。吴的研究取得了系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。吴文俊院士热爱祖国，有高尚的科学道德，是数学界德高望重的前辈，至今仍在数学机械化研究的第线。在多年的研究工作中，始终站在数学领域的前沿，做出了原创性研究成果。在国际上产生了重大影响。点击返回目录完托马斯杨布朗安培高斯阿伏伽德罗奥斯特盖吕萨克欧姆菲涅耳法拉第年科学家点击姓名查看卡诺克拉珀龙亨利惠斯通韦伯楞次勒维烈迈尔焦耳亚当斯亥姆霍兹开尔文巴耳末麦克斯韦赫兹现在科学家点击姓名查看伦琴爱迪生罗兰特斯拉贝克勒耳洛伦兹汤姆孙帕邢普朗克皮埃尔居里密立根玛丽居里威耳孙卢瑟福赖曼爱因斯坦玻恩盖革薛定谔玻尔伊伦居里弗雷德里克