当前位置:首页 > 名称
大约有766,168项符合查询结果项。(搜索耗时:0.5479秒)
为您推荐: 计量技术与仪器制造学会热工专业委员会编 中国水利学会量测技术专业委员会 中国水利学会水利量测技术专业委员会 中国宇航学会先进小卫星技术与应用专业委员会 中国机械工程学会透平锅炉 筹备委员会 第一机械工业部机械制造与工艺科学研究院整理
-
-
-
-
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
-
-
-
-
学科分类
出版时间