电脑体验，效果更佳

甘向阳图谱-自然科学领域：

相关人员

刘建军 张再云 周立仁 余德民

研究领域

数学 自同构 算法分析 九章算术 数学机械化 吴文俊 机器证明 程序化思想

所属机构

陕西西安 湖南岳阳 西北大学数学系 岳阳师范学院数学系 湖南理工学院数学系 中南大学数学与科学学院 湖南理工学院数学与应用数学系

标签云