您现在的位置: 首页 >  院士信息 >  院士名单与简介 >  全体院士名单
院士信息

张景中

 

【字号:    
张景中

    计算机科学家、数学家,1936年12月30日生于河南。1959年毕业于北京大学数学力学系。中国科学院成都计算机应用研究所研究员、名誉所长,广州师范学院教育软件研究所所长。1995年当选为中国科学院院士。

    提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明,并提出消点思想,创建了几何定理可读证明自动生成的原理和方法。用这个方法可在微机上快速地进行几何证明,计算和发明新定理,并给出易于理解的有几何意义的证明。发展了非线性振动技术。发展了几何算法的研究,解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究,提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究,主持开发了新型智能理科教育软件。

导航
首页
学部介绍
院士信息
院士大会
院士增选
智库建设
出版物
学部工作局
动态
学部动态
媒体报道
咨询评议
学术交流
科普活动
院士动态
专题
2017中科院院士增选
陈嘉庚科学奖
科学与中国
学术引领
科学人生·百年
院士文库
缅怀院士
中科院第十八次院士大会
纪念学部成立60周年
院士口述故事
工具栏
院士邮箱系统
院士增选系统
学部咨询项目管理系统
学部学科项目管理系统
院士退休信息报备系统