当前位置：首页 > 名称
大约有7,000项符合查询结果项。（搜索耗时：0.0430秒）
为您推荐： 全国产品几何技术规范标准化技术委员会著 全国食品工业标准化技术委员会秘书处 全国塑料制品标准化技术委员会秘书处 全国技术产品文件标准化技术委员会 全国热处理标准化技术委员会秘书处 全国林业机械标准化技术委员会秘书处
-
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
-
-
-
-
-
自适应光学技术进展 中国科学院光电技术研究所自适应光学研究室论文集
姜文汉主编2007 年出版660 页ISBN：9787536462175本书汇集了中国科学院光电技术研究在国内外正式学术刊物和国际学术会议上发表的文章，全面反映了光电技术研究自适应技术研究的进展和应用情况。...
学科分类