000 |
|
01272oam2 2200289 450 |
001 |
|
01133904 |
005 |
|
20210701154829.0 |
010 |
__ |
■a978-7-5603-9041-3■b精装■dCNY48.00 |
100 |
__ |
■a20210701d2020 em y0chiy0120 ea |
101 |
0_ |
■achi |
102 |
__ |
■aCN■b230000 |
105 |
__ |
■aa z 000yy |
106 |
__ |
■ar |
200 |
1_ |
■aSteiner问题■ASteiner wen ti■dSteiner problem■e分角线相等的三角形:初等几何+...... |
210 |
__ |
■a哈尔滨■c哈尔滨工业大学出版社■d2020 |
215 |
__ |
■a76页■c照片■d23cm |
225 |
2_ |
■a现代数学中的著名定理纵横谈丛书■f王梓坤主编■v132 |
300 |
__ |
■a国家出版基金资助项目 国家出版基金项目 |
330 |
__ |
■a本书通过一个古老问题:内角或外角分角线相等的三角形是否等腰的研究,介绍了利用电子计算机证明初等几何命题的一些概况。 |
410 |
_0 |
■12001 ■a现代数学中的著名定理纵横谈丛书 |
510 |
1_ |
■aSteiner problem■etriangles with equal bisectors:machine pr+...... |
517 |
1_ |
■a分角线相等的三角形:初等几何机器证明问题■Afen jiao xian xiang deng de san jiao+...... |
606 |
0_ |
■a平面三角 |
690 |
__ |
■aO124.1■v5 |
701 |
_0 |
■a吴文俊■f(1919-2017)■4著■Awu wen jun |
801 |
_0 |
■aCN■b清枫宏图■c20221019 |
905 |
|
■aHNUU■b000292209■b000292210■dO124.1/1 |