计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  留言板 |  联系我们 |  投稿常见问题解答 |  English Version     30周年刊庆
作者中心
 新作者注册
 在线投稿与查稿
 投稿须知
 投稿指南
 论文模板
 英文摘要书写要求
 引言书写要求
 版权转让协议
 中图分类号
审稿中心
 审稿须知
 专家在线审稿
 编委在线审稿
 编辑在线办公
 主编在线办公

 
  
41041

                         主 编 简 介

         张景中,中国科学院院士,博士生导师,中共党员,数学及理论计算机科学家。1959年毕业于北京大学数学力学系。现任中国科学院成都计算机应用研究所研究员、名誉所长。兼任中国计算机学会理事、中国科普作家协会理事长、四川省计算机学会理事长、四川省科协常务委员、四川省数学学会副理事长、广州师范学院教育软件研究所所长。

      他长期从事理论计算机科学和应用数学的研究,在动力系统、非线性振动技术、距离几何、定理机器证明等领域的研究成效卓著,特别是在几何定理机器证明的研究中,创立了非线性代数方程组相容性判定的含参结式法,提出了弱非退化条件,提出消点思想,创建了几何定理机器可读证明自动生成的原理、方法和算法,并给出易于理解的推理演算证明的过程,被国际机器证明专家视为自动推理领域三十年来最重要的工作,是计算机发展处理几何问题能力道路上的里程碑。发表论文一百多篇,论著十多部,出版数学科普书籍15本,被中国科普作家协会审定为建国以来贡献突出的科普作家。其科研成果获国家自然科学二等奖、国家发明二等奖、中国科学院自然科学一等奖。

计算机应用
在线期刊
 最新录用
 当期目录
 过刊浏览
 论文检索
 论文点击排行
 论文下载排行
 栏目分类浏览
 各年总目录
 Email Alert
 
文章快速检索
 

中国知网
万方数据
中国科学院成都分院

 



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn