Computer mathematics : proceedings of the special program at Nankai Institute of Mathematics, Tianjin, China, January - June 1991
著者
書誌事項
Computer mathematics : proceedings of the special program at Nankai Institute of Mathematics, Tianjin, China, January - June 1991
(Nankai series in pure, applied mathematics and theoretical physics, v. 5)
World Scientific, c1993
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
A collection of conference papers which discuss topics in computer mathematics. Subjects covered include: computations with rational parametric equations; theorem proving in Riemann geometry using Wu's method; and the finite basis of an irreducible ascending set.
「Nielsen BookData」 より