机读格式显示(MARC)
- 000 01360nam0 2200301 450
- 010 __ |a 978-7-5088-5553-0 |b 精装 |d CNY128.00
- 100 __ |a 20190731d2019 em y0chiy50 ea
- 200 1_ |a 吴文俊全集 |A wu wen jun quan ji |d = The complete works of Wu Wen-Tsun |i 数学机械化卷 |h IV |i Mathematics mechanization |h IV |e 几何定理机器证明的基本原理 |f 吴文俊著 |z eng
- 210 __ |a 北京 |c 科学出版社 |d 2019
- 215 __ |a 234页 |c 图,照片 |d 25cm
- 330 __ |a 本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士,第三世界科学院院士,中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长,中国数学会名誉理事长,中国数学机械化研究的创始人之一,首届国家最高科学技术奖的获得者。
- 510 1_ |a Complete works of Wu Wen-Tsun |i Mathematics mechanization |h IV |z eng
- 517 1_ |a 几何定理机器证明的基本原理 |A ji he ding li ji qi zheng ming de ji ben yuan li
- 606 0_ |a 数学 |A shu xue |j 文集
- 606 0_ |a 数学理论 |A shu xue li lun |j 文集
- 701 _0 |a 吴文俊 |A wu wen jun |4 著
- 801 _0 |a CN |b 江西弘苑 |c 20191002
- 905 __ |a JDZXY |d O1/467