302EDU
课本
教案
课件
试卷
图书
资源搜索
首页
图书
几何－定理证明－机器证明
2015年
2015
搜索分类
几何定理机器证明的几何不变量方法
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证...
2015.4
按中图号分类
中图号G634
23262
中图号G624
13502
中图号G613
5627
中图号I247.5
5266
中图号I267
3922
中图号I227
3213
中图号G613.3
2565
中图号I287.8
2291
中图号J222.7
2112
中图号G613.6
1806
中图号G624.243
1744
中图号H31
1738
中图号G624.203
1530
中图号G898.2
1491
中图号G613.2
1417
中图号G624.753
1371
中图号J228.2
1331
中图号I287.45
1288
中图号I287.7
1274
中图号I217.2
1191
按出版社分类
科学出版社
3987
清华大学出版社
3682
机械工业出版社
3559
人民邮电出版社
3422
化学工业出版社
3309
北京联合出版公司
3223
高等教育出版社
2945
电子工业出版社
2756
武汉大学出版社
2686
吉林出版集团有限责任公司
2677
江苏人民出版社
2612
吉林大学出版社
2592
光明日报出版社
2231
中国社会科学出版社
2003
黑龙江美术出版社
1990
中国文史出版社
1949
中国人民大学出版社
1911
团结出版社
1860
外语教学与研究出版社
1838
上海交通大学出版社
1834