|
题名:
|
计算机怎样解几何题 ji suan ji zen yang jie ji he ti / 张景中著 , |
|
ISBN:
|
978-7-5352-7219-5 价格： CNY24.00 |
|
语种:
|
chi |
|
载体形态:
|
154页 图 24cm |
|
出版发行:
|
出版地： 武汉 出版社： 湖北科学技术出版社 出版日期： 2016 |
|
内容提要:
|
计算机如何能证明几何定理并发现新的定理呢? 是因为人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题。 |
|
主题词:
|
平面几何 定理证明 |
|
主题词:
|
平面几何 |
|
主题词:
|
定理证明 |
|
主题词:
|
机器证明 |
|
中图分类法:
|
O123.1 版次： 4 |
|
主要责任者:
|
张景中 zhang jing zhong 著 |
|
责任者附注:
|
张景中, 中国科学院院士, 从事几何算法和定理机器证明等领域研究。成果获国家发明二等奖, 中国科学院自然科学一等奖, 国家自然科学二等奖。 |