机读格式显示(MARC)
- 000 01282nam0 2200301 450
- 010 __ |a 978-7-5088-5550-9 |b 精装 |d CNY188.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 I |i Mathematics mechanization |h I |f 吴文俊著 |g 高小山编订 |z eng
- 210 __ |a 北京 |c 科学出版社 |d 2019
- 215 __ |a 10,414页 |c 图,照片 |d 24cm
- 306 __ |a 题名页出版者题:科学出版社,龙门书局
- 330 __ |a 本书分成三个部分:第一部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史;第二部分给出求解多项式方程组所依据的基本原理与特征列方法,还论述了构造性代数几何中的若干问题;第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。
- 510 1_ |a Complete works of Wu Wen-Tsun |i Mathematics mechanization |h I |z eng
- 606 0_ |a 数学 |A shu xue |j 文集 |j 英文
- 606 0_ |a 数学理论 |A shu xue li lun |j 文集 |j 英文
- 701 _0 |a 吴文俊 |A wu wen jun |f (1919-2017) |4 著
- 702 _0 |a 高小山 |A gao xiao shan |4 编订
- 801 _0 |a CN |b 江西弘苑 |c 20191002
- 905 __ |a JDZXY |d O1/469:1