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