Computer Mathematics - Proceedings of the Special Program at Nankai Institute of Mathematics

By G D Hu W T Wu

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;

• Format: Hardcover
• Language: English
• ISBN: 9810215282
• ISBN13: 9789810215286
• Release Date: September 1993
• Publisher: World Scientific Publishing Company
• Length: 172 Pages
• Weight: 0.88 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"