当前位置：首页 > 名称
大约有38,218项符合查询结果项。（搜索耗时：0.1925秒）
为您推荐： 高中数理化生超级公式定理大全 title高中数理化概念公式定理手册 常备高中数理化公式定理词典 精选 初中数理化公式定理 中学数理化公式定理手册 初中数理化概念公式定理手册
-
-
-
-
-
-
-
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
学科分类
出版时间