胡守仁 张景中获2021年 CCF终身成就奖 !他们为中国计算机事业的发展做出了卓越贡献 (胡守仁雕像)
1984年,银河机获国防科技成果奖特等奖。
他在几何定理可读机器证明、教育数学、距离几何及动力系统、学科教育信息技术学科领域以及数学科普做出了突出的贡献。主要成果包括:
版权文章,未经授权禁止转载。详情见 转载须知 。
1984年,银河机获国防科技成果奖特等奖。
他在几何定理可读机器证明、教育数学、距离几何及动力系统、学科教育信息技术学科领域以及数学科普做出了突出的贡献。主要成果包括:
版权文章,未经授权禁止转载。详情见 转载须知 。