《计算机怎样解几何题》
2025-04-17 22:39:03
纪实文学
PDF
作者简介：
张景中，中国科学院院士，从事几何算法和定理机器证明等领域研究。成果获国家发明二等奖，中国科学院自然科学一等奖，国家自然科学二等奖。
内容简介：
计算机如何能证明几何定理并发现新的定理呢？是因为人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题。
所有评论