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

数学 自同构 算法分析 九章算术 数学机械化 吴文俊 机器证明 程序化思想 内史研究 数学史价值 中国古算 数学素养 刘徽注 同态 特征向量 同构 理想

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