智库专家

您的位置：首页 > 智库专家 > 国家智库专家

所属机构

中国科学院学部

个人简历

计算机科学家、数学家，主要从事机器证明、教育数学、距离几何及动力系统研究。1936年12月30日生于河南汝南县。1959年毕业于北京大学数学力学系。1995年当选为中国科学院院士。

研究领域

机器证明、教育数学、距离几何及动力系统研究

教育背景

1959年毕业于北京大学数学力学系

学术兼职

研究成果