机读格式显示(MARC)

• 000 00883nam0 2200253 450

• 001 0000441937

• 005 20180331104200.0

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

• 100 __ |a 20160804d2016 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a 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

• 314 __ |a 朱望规, 1962年7月毕业于西安交通大学应用数学专业。

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

• 330 __ |a 本书介绍了初等几何机器证明。主要内容包括: 几何定理的机器证明、Morley定理及其机器证明、Simson定理共三章。

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

• 690 __ |a O123 |v 5

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

• 801 _0 |a CN |b LIB |c 20180317

• 905 __ |a LIB |d O123/13