当前位置：首页 > 名称
大约有90项符合查询结果项。（搜索耗时：0.0149秒）
为您推荐： 几何三角法证明 三角法证明几何 函数关系与几何证明 几何定理机器证明的基本原理 平面几何证明方法全书 证明
-
-
-
-
-
-
-
-
-
-
几何定理机器证明的基本原理 初等几何部分
吴文俊著2010 年出版234 页ISBN：97870302837711984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...