大约有22,091项符合查询结果项。（搜索耗时：0.2306秒）
为您推荐：
三角法证明几何
几何证明
三角证明
三角法
三角法证明
函数关系与几何证明
-
（苏）А.И.费齐索夫著；姬振豫译1983 年出版59 页ISBN：7072·1321
-
孙熙椿著1999 年出版142 页ISBN：7543529807
-
赵华，季家修编著1956 年出版108 页ISBN：7100·317
-
（苏）巴勒宾（К.С.Барыбин）著；蒋巍译1954 年出版84 页ISBN：
-
大连市教育学院编1981 年出版296 页ISBN：
-
（苏）菲齐索夫（А.И.Хетисов）著；力人译1958 年出版63 页ISBN：13009·160
-
宋金墀著1990 年出版240 页ISBN：7204003381
-
吴文俊著2010 年出版234 页ISBN：9787030283771
1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...
-
南秀全主编2006 年出版303 页ISBN：7508811607
本套书的最大特色在于“分册”，它突破了一般教辅书按年级分学科的框框，而是按“知识块”分册，把初、高中数、理、化、生物分成55个专题分别成书，每一个知识块在将重点、难点、知识点讲透、讲细的基础上，拓展读者...
-
孙熙椿编著2007 年出版207 页ISBN：703015505X
本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...
