机读格式显示(MARC)

• 000 00924nam0 2200241 450

• 001 0000273576

• 005 20191202161000.0

• 010 __ |a 978-7-118-10515-5 |d CNY88.00

• 100 __ |a 20160824d2016 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 论初等几何定理的机器证明与消去法 |A lun chu deng ji he ding li de ji qi zheng ming yu xiao qu fa |f 朱望规著

• 210 __ |a 北京 |c 国防工业出版社 |d 2016

• 215 __ |a 257页 |c 图 |d 26cm

• 320 __ |a 有书目 (第253页)

• 330 __ |a 本书介绍初等几何的机器证明, 重点是消去法。本书详细且细微地介绍了初等几何定理, 如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组; 同时本书也提出了在公式推导过程中可能出现的问题与困难。

• 606 0_ |a 初等几何 |A chu deng ji he |x 机器证明 |x 消去法

• 690 __ |a O123 |v 5

• 701 _0 |a 朱望规 |A zhu wang gui |4 著

• 801 _0 |a CN |b 湖北三新 |c 20161007

• 905 __ |a AUSTL |d O123/Z848