大约有10,000项符合查询结果项。（搜索耗时：0.0467秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
（苏）科列斯尼科夫，В.А.编；洪建源等译1963 年出版196 页ISBN：16144·1358
-
邵耀坚等编1985 年出版220 页ISBN：15033·5760
-
褚启人等编著1994 年出版799 页ISBN：7532331814
-
吕锡祥编著1965 年出版102 页ISBN：16009·45
-
梁振兴，刘兴海主编1994 年出版358 页ISBN：7810026887
-
谢选武，卢琼芳编著1987 年出版172 页ISBN：16298·241
-
陈奇思，南殿杰编著1986 年出版222 页ISBN：16119·904
-
（日）宫坂昭著；钱亮译1983 年出版360 页ISBN：16144·2546
-
朱震达，李天傑，吴正，田裕剑，李洪泽编1961 年出版12 页ISBN：
-
中山大学生物系昆虫学专业编著1978 年出版261 页ISBN：13031·820
