机读格式显示(MARC)

• 000 00944nam0 2200265 450-

• 001 0000788350

• 005 20040105142644.0

• 010 __ |a 7-302-06839-9 |d CNY36.00

• 011 __ |a 7-302-06839-9

• 100 __ |a 20031015d2003 em y0chiy0120 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 符号计算选讲 |b 专著 |f 王东明主编 |g 杨路等编著 |9 fu hao ji suan xuan jiang

• 210 __ |a 北京 |c 清华大学出版社 |d 2003

• 215 __ |a 288页 |d 23cm

• 330 __ |a 全书共分6章，内容包括计算机代数，几何定理机器证明的代数方法，计算实代数几何，代数计算在计算机辅助几何设计中的应用，符号微分、符号积分和微分方程的符号解以及符号与数值混合计算。

• 510 1_ |a Selected Lectures in Symbolic Computation |z eng

• 606 0_ |a 计算机应用 |x 代数几何

• 690 __ |a TP301.6 |v 4

• 701 _0 |a 王东明 |c (符号计算) |4 主编 |9 wang dong ming

• 702 _0 |a 杨路 |f (1937~) |4 编著 |9 yang lu

• 801 _0 |a CN |b AZmarc |c 20230831

• 905 __ |a LIB |d TP301.6/207