电脑体验，效果更佳

数学机械化图谱-社科哲学领域：

研究人员

纪志刚 郝新鸿 徐传胜 符五久 陈建兰 饶瑞昌 王汝发 杨路

相关术语

拓扑学 完备化 吴文俊 程序化 可读证明 集合 中国传统数学 公理法

标签云