电脑体验，效果更佳

机器证明图谱-自然科学领域：

研究人员

唐云廷 刘保乾 王伯年 杨廷力 甘向阳 施齐焉 何灯 王宏光

相关术语

基本图 数学机械化 微机 张量判定 教育数学 知识系统 标准型 微分几何

上位概念

吴文俊

标签云