Articoli correlati a Computer Mathematics: Proceedings of the Special Program...

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

W T Wu, G D Hu

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

Sinossi

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;

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.