当前位置:首页 > 名称
大约有493,572项符合查询结果项。(搜索耗时:1.7860秒)
为您推荐: 线性代数的几何意义 代数几何 线性代数与解析几何第三版 线性代数与解析几何第五版 几何 可视化微分几何和形式
-
-
-
-
-
-
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
-
-
学科分类
出版时间