Computer Mathematics: Proceedings of the Special Program at Nankai Institute of Mathematics Tianjin, China January-June 1991

Wu, Wen-Tsun (Editor)/ Guo-Ding, Hu (Editor)/ Wen-Tsun, Wu/ Hu, Guoding (Editor)

ISBN 10: 9810215282 / ISBN 13: 9789810215286

Published by World Scientific Pub Co Inc, 1993

About this Item

160 pages. 9.00x6.50x0.75 inches. In Stock.

Seller Inventory # x-9810215282

Bibliographic Details

• Title: Computer Mathematics: Proceedings of the Special Program at Nankai Institute of Mathematics Tianjin, China January-June 1991
• Publisher: World Scientific Pub Co Inc
• Publication Date: 1993
• Language: English
• ISBN 10: 9810215282
• ISBN 13: 9789810215286
• Binding: Hardcover
• Condition: Brand New
• Weight: 0.39 kilograms

About this title

Synopsis

Contents: The Possibility of Using Computer to Study the Equation of Gravitation (Q K Lu); Solving Polynomial Systems by Homotopy Continuation Methods (T Y Li); Sketch of a New Discipline of Modeling (E Engeler); The Symmetry Groups of Computer Programs and Program Equivalence (J R Gabriel); Computations with Rational Parametric Equations (S C Chou et al.); Computer Versus Paper and Pencil (M Mignotte); The Finite Basis of an Irreducible Ascending Set (H Shi); A Note on Wu Wen-Tsün's Non-Degenerate Condition (J Z Zhang et al.); Mechanical Theorem Proving in Riemann Geometry Using Wu's Method (S C Chou & X S Gao); and other papers;