当前位置：首页 > 名称
大约有89,870项符合查询结果项。（搜索耗时：0.2294秒）
为您推荐： 几何新方法和新体系 第二版 title几何新方法和新体系 精 张景中科普文集 工作 消费主义和新穷人 工作消费主义和新穷人 title大合流 信息技术和新全球化 科斯经济学 法与 和新制度经济学
-
-
几何三部曲 第3卷 几何的微分方法 英文
（比）F.博斯克斯著2016 年出版452 页ISBN：7519220710本书呈现了平面和三维空间中曲线的经典理论，以及三维空间中曲面的经典理论，特别关注于奠定现代几何学的理论和方法的历史发展过程。对平面曲线及其性质和代数拓扑进行了全面而细致的论述，为读者深入理解几何学...
-
-
-
-
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
学科分类
出版时间