当前位置:首页 > 名称
大约有573,569项符合查询结果项。(搜索耗时:0.6361秒)
为您推荐: 可视化微分几何和形式 微分几何 常微分方程几何理论 微分几何与拓扑学简明教程 微分几何与共轭曲面原理 随机微分方程和应用
-
-
-
-
-
中层大气化学和物理学 【天文地球】
(比)布拉塞(Brasseur,G.),(美)索洛蒙(Solomon,S.)著;黄润恒译1988 年出版462 页ISBN:7502900918书名原文:Aeronomyofthemiddleatmosphere:本书共分7章
-
几何定理机器证明的几何不变量方法 【数理化】
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
-
-
学科分类
出版时间
