期刊检索
中文标题
首页
期刊介绍
定位及简介
栏目介绍
联系方式
编委会
投稿须知
订阅指南
广告服务
过刊浏览
涓埃报华夏 精诚攀昆仑——记著名科学家张景中
作者
罗炎明(成都计算机应用研究所!成都610041)
梁铭锵(成都计算机应用研究所!成都610041)
中文关键词
定理;机器证明;教育数学
中文摘要
张景中教授是我国著名的数学家、博士生导师。他不仅在数理科学领域成绩卓著,开拓了定理机器证明的理论与方法,创立了“教育数学”的思想,而且在科普创作方面也造诣颇深。
下载PDF
发表/查看评论
当期文章
作者登录
Email Alert
Rss订阅
作者简介
微信关注公众号
