Computer Mathematics - Proceedings Of The Special Program At Nankai Institute Of Mathematics

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;

Dettagli sul prodotto

• Autori: G D Hu W T Wu
• Con la collaborazione di: Guo-Ding Hu (Editore), Guo-ding Hu (Editore), Wen-TsÜn Wu (Editore), Wen-Tsun Wu (Editore)
• Editore: Ingram Publishers Services
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 01.09.1993
• EAN: 9789810215286
• ISBN: 978-981-02-1528-6
• Serie: Nankai Series In Pure, Applied Mathematics And Theoretical Physics
• Categorie: Scienze naturali, medicina, informatica, tecnica > Matematica > Analisi; MATHEMATICS / Applied, COMPUTERS / Machine Theory, Mathematical theory of computation, Applied mathematics, NUMERICAL ANALYSIS & APPROXIMATION; COMPUTER SCIENCE