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.
4 produkter
4 produkter
535 kr
Skickas inom 10-15 vardagar
This book is a translation of Professor Wus seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wus method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples.
Del 1264 - Lecture Notes in Mathematics
Rational Homotopy Type
A Constructive Study via the Theory of the I*-measure
Häftad, Engelska, 1987
482 kr
Skickas inom 10-15 vardagar
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 points of view in rational homotopy. The I*-measure is shown to differ from other homology and homotopy measures in that it is calculable with respect to most of the important geometric constructions encountered in algebraic topology. This approach provides a new method of treatment and leads to various new results. In particular, an axiomatic system of I*-measure is formulated, quite different in spirit from the usual Eilenberg-Steenrod axiomatic system for homology, and giving at the same time an algorithmic method of computation of the I*-measure in concrete cases. The book will be of interest to researchers in rational homotopy theory and will provide them with new ideas and lines of research to develop further.
Del 5 - Nankai Series In Pure, Applied Mathematics And Theoretical Physics
Computer Mathematics - Proceedings Of The Special Program At Nankai Institute Of Mathematics
Inbunden, Engelska, 1993
1 099 kr
Skickas inom 5-8 vardagar
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.
2 015 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 comprehensive overview of his major achievements in algebraic topology, computer mathematics, and history of ancient Chinese mathematics. In algebraic topology, he discovered Wu classes and Wu formulas for Stiefel-Whitney classes of sphere bundles or differential manifolds, established an imbedding theory with an application to the layout problem of integrated circuits, and introduced the I*-functors which turned the “rational homotopy theory” created by D Sullivan into algorithmic form. In computer mathematics, he discovered Wu's method of mechanical theorem proving by means of computers, which has been applied to prove and even discover on the computers hundreds of non-trivial theorems in various kinds of elementary and differential geometries. He also discovered a new effective method of polynomial equations solving, which has been used to solve problems raised from the fields of robotics and mechanisms, CAGD, computer vision, theoretic physics, celestial mechanics, and chemical equilibrium computation.