|
题名:
|
论初等几何定理的机器证明与消去法 / 朱望规著 , |
|
ISBN:
|
978-7-118-10515-5 价格： CNY88.00 |
|
语种:
|
chi |
|
载体形态:
|
257页 图 26cm |
|
出版发行:
|
出版地： 北京 出版社： 国防工业出版社 出版日期： 2016 |
|
内容提要:
|
本书介绍初等几何的机器证明, 重点是消去法。本书详细且细微地介绍了初等几何定理, 如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组; 同时本书也提出了在公式推导过程中可能出现的问题与困难。 |
|
主题词:
|
初等几何 机器证明 |
|
中图分类法:
|
O123 版次： 5 |
|
主要责任者:
|
朱望规 著 |
|
索书号:
|
5 |