“人民科学家”国家荣誉称号获得者吴文俊

吴文俊是中国科学院院士,著名数学家,第五、六、七、八届全国政协委员。他对数学的核心领域拓扑学作出了重大贡献,开创了数学机械化新领域,对国际数学与人工智能研究影响深远。他用算法的观点对中国古算作了分析,同时提出用计算机自动证明几何定理的有效方法,在国际上被称为“吴方法”。