计算机科学家、数学家,主要从事机器证明、教育数学、距离几何及动力系统研究。1936年12月30日生于河南汝南县。1959年毕业于北京大学数学力学系。1995年当选为中国科学院院士。
会员登录 | 免费注册
讲师入驻通道
免费咨询热线:13810808675
全部服务领域
邀请费用:面议
上一篇:张钹
下一篇:郑建华