电脑体验，效果更佳

吴文俊图谱-自然科学领域：

研究人员

许康 骆祖英 郭世荣 郭书春 胡作玄 甘向阳 姜岩 罗见今

相关术语

定理机器证明 拓扑学 当代数学教育 古为今用 刘徽 数学史 科学史研究所 高等学校

下位概念

数学机械化 机器证明

标签云