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

ISBN 10: 9810215282 / ISBN 13: 9789810215286

Verlag: World Scientific Publishing Company, 1993

Beschreibung

SUPER FAST SHIPPING.

Bestandsnummer des Verkäufers 9789810215286

Bibliografische Details

• Titel: Computer Mathematics - Proceedings of the Special Program at Nankai Institute of Mathematics (Nankai Pure, Applied Mathematics and Theoretical Physics)
• Verlag: World Scientific Publishing Company
• Erscheinungsjahr: 1993
• Sprache: Englisch
• ISBN-10: 9810215282
• ISBN-13: 9789810215286
• Einband: Hardcover
• Zustand: New

Über diesen Titel

Inhaltsangabe

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;

Reseña del editor

A collection of conference papers which discuss topics in computer mathematics. Subjects covered include: computations with rational parametric equations; theorem proving in Riemann geometry using Wu's method; and the finite basis of an irreducible ascending set.