当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0122秒）
为您推荐： 全国农业学大寨会议文件和材料汇 第二次全国农业学大寨会议文件和材料汇 联合国第三次海洋法会议 第一届全国人民代表大会第三次会议秘书处 第二届全国人民代表大会第三次会议秘书处 第五届全国人民代表大会第三次会议秘书处
-
-
ε空间 第三年的数学博客选文
（澳）陶哲轩（TerenceTao）著2017 年出版353 页ISBN：97870404690042007年，陶哲轩创立了一个内容丰富的数学博客，内容从他自己的研究工作和其他新近的数学进展，到他的授课讲义，包括各种非专业性难题和说明文章。头两年的博文已由美国数学会出版，而第三年的博文将分两册出版。第一...
-
-
-
-
-
-
-
吴文俊全集 数学机械化卷 4
吴文俊著；高小山编订2019 年出版234 页ISBN：9787508855530本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士，第三世界科学院院士，中...
-
学科分类