电脑体验，效果更佳

数学机械化图谱-自然科学领域：

研究人员

张景中 石赫 郭书春 孙晓琳 房元霞 徐泽林 甘向阳 冯勇

相关术语

塔斯基 积分 逻辑 导数 自动推理 恰当的Yang-Mills方程 构造性研究 中国科学院

上位概念

吴文俊

标签云