当前位置:首页 > 名称
大约有9,000项符合查询结果项。(搜索耗时:0.0269秒)
为您推荐: 线性代数的几何意义 代数几何 线性代数与解析几何第三版 线性代数与解析几何第五版 高等代数的内容与方法 title高等代数与解析几何 第2版上普通高等教育十一五国家级规划教材
-
-
-
-
-
几何定理机器证明的几何不变量方法 【数理化】
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
-
动态系统的几何理论导引 【数理化】
(巴西)帕里斯(Palis,J.),(巴西)麦罗(Melo,W.)著;姚勇译1986 年出版157 页ISBN:13324·33书名原文:Geometrictheoryofdynamicalsystemsanintroduction.
-
-
学科分类
