Wen-tsün Wu – författare

Visar alla böcker från författaren Wen-tsün Wu. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   Mechanical Theorem Proving in Geometries

   Basic Principles

   Av Wen-tsün Wu

   Häftad, 1994

   551 kr

   Lägg i varukorg

   There seems to be no doubt that geometry originates from such practical activ­ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The …

2. 

   Rational Homotopy Type

   A Constructive Study via the Theory of the I*-measure

   Av Wen-tsün Wu

   Häftad, 1987

   497 kr

   Lägg i varukorg

   This comprehensive monograph provides a self-contained treatment of the theory of I*-measure, or Sullivan's rational homotopy theory, from a constructive point of view. It centers on the notion of calculability which is due to the author himself, as are the measure-theoretical and constructive …

3. 

   Rational Homotopy Type

   A Constructive Study via the Theory of the I*-measure

   Av Wen-tsun Wu

   E-bok, 2006

   668 kr

   Lägg i varukorg

   This comprehensive monograph provides a self-contained treatment of the theory of I*-measure, or Sullivan''s rational homotopy theory, from a constructive point of view. It centers on the notion of calculability which is due to the author himself, as are the measure-theoretical and constructive …

4. 

   Mechanical Theorem Proving in Geometries

   Basic Principles

   Av Wen-tsun Wu

   E-bok, 2012

   718 kr

   Lägg i varukorg

   There seems to be no doubt that geometry originates from such practical activ­ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The …

5. 

   COMPUTER MATHEMATICS - PROCEEDINGS OF THE SPECIAL PROGRAM AT NANKAI INSTITUTE OF MATHEMATICS

   Av G. D. Hu W. T. Wu, Wen-TsÜn Wu m. fl.

   Inbunden, 1993

   1147 kr

   Lägg i varukorg

   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) ; …

6. 

   SELECTED WORKS OF WEN-TSUN WU

   Av Wen-Tsun Wu, Wen-tsun Wu

   Inbunden, 2008

   2716 kr

   Tillfälligt slut

   This important book presents all the major works of Professor Wen-Tsun Wu, a widely respected Chinese mathematician who has made great contributions in the fields of topology and computer mathematics throughout his research career.The book covers Wu's papers from 1948 to 2005 and provides a …