Computer Mathematics - Proceedings of the Special Program at Nankai Institute of Mathematics (Nankai Pure, Applied Mathematics and Theoretical Physics) - Hardcover

 
9789810215286: Computer Mathematics - Proceedings of the Special Program at Nankai Institute of Mathematics (Nankai Pure, Applied Mathematics and Theoretical Physics)
Hardcover
ISBN 10: 9810215282 ISBN 13: 9789810215286
Publisher: World Scientific Publishing Company, 1993

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;

"synopsis" may belong to another edition of this title.

Publisher
World Scientific Publishing Company
Publication date
1993
Language
English
ISBN 10 
9810215282
ISBN 13 
9789810215286
Binding
Hardcover
Number of pages
172
Editor
Wu Wen-Tsun, Hu Guo-Ding