机读格式显示(MARC)

• 000 00831nam 2200193 450

• 001 0000430978

• 005 20240516090100.0

• 010 __ |a 978-7-5088-5553-0 |d CNY128.00

• 101 0_ |a chi

• 100 __ |a 20191125d2019 ekmy0chiy50 ea

• 200 1_ |a 吴文俊全集·数学机械化卷IV |A Wu Wen Jun Quan Ji·Shu Xue Ji Xie Hua Juan Iv |g 吴文俊著

• 210 __ |a 北京 |c 龙门书局 |d 2019

• 215 __ |a 234页 |d 24cm

• 300 __ |a 本书适用于数学工作者和计算机科学工作者以及高等院校有关专业的师生

• 330 __ |a 本书共分六章，前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题，第3章为几何定理证明的机械化与Hilbert机械化定理，第4、5章分别为（常用）无序几何的机械化定理和(常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。

• 690 __ |a O1-53 |v 5

• 801 _0 |a CN |b WFKJXY |c 20191222

• 905 __ |a WFKJXY |d O1-53/2

• 920 __ |a 4370400 |z 1