平面几何定理的机器证明
¥
8.72
9.2折
¥
9.5
九品
仅1件
作者孙熙椿 著
出版社广西教育出版社
出版时间1999
货号3A5-055
上书时间2023-05-09
商品详情
- 品相描述:九品
图书标准信息
-
作者
孙熙椿 著
-
出版社
广西教育出版社
-
出版时间
1999
-
ISBN
9787543529809
-
定价
9.50元
-
装帧
其他
-
开本
20cm
-
页数
142页
-
正文语种
简体中文
- 【内容简介】
-
本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法等,尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就。
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价