书籍详情

计算机怎样解几何题

计算机怎样解几何题

作者：张景中

出版社：湖北科学技术出版社

出版时间：2016-02-01

ISBN：9787535272195

定价：¥24.00

购买这本书可以去

内容简介

　　计算机如何能证明几何定理并发现新的定理呢？是因为人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题。

作者简介

　　张景中，中国科学院院士，从事几何算法和定理机器证明等领域研究。成果获国家发明二等奖，中国科学院自然科学一等奖，国家自然科学二等奖。

目录

暂缺《计算机怎样解几何题》目录

猜您喜欢

科学的诞生

杂草、玫瑰与土拨鼠

读书导航