The Resource Selected works of WenTsun Wu, WenTsun Wu, (electronic resource)
Selected works of WenTsun Wu, WenTsun Wu, (electronic resource)
Resource Information
The item Selected works of WenTsun Wu, WenTsun Wu, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.This item is available to borrow from 1 library branch.
Resource Information
The item Selected works of WenTsun Wu, WenTsun Wu, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.
This item is available to borrow from 1 library branch.
 Summary
 This important book presents all the major works of Professor WenTsun 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 StiefelWhitney 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 nontrivial 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
 Language
 eng
 Extent
 1 online resource (viii, 467 pages)
 Contents

 1. On the product of sphere bundles and the duality theorem modulo two
 2. Classes caracteristiques et icarres d'une variete
 3. Les icarres dans une variete grassmannienne
 4. On the realization of complexes in Euclidean spaces I
 5. On the realization of complexes in Euclidean spaces III
 6. On universal invariant forms
 7. Theory of I*functor in algebraic topology
 effective calculation and axiomatization of I*functor on complexes
 8. On the decision problem and the mechanization of theoremproving in elementary geometry
 9. Toward mechanization of geometry
 Some comments on Hilbert's "Grundlagen der Geometrie"
 10. The outin complementary principle
 11. A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theoremproving in differential geometries
 12. Basic principles of mechanical theoremproving in elementary geometries. 13. On zeros of algebraic equations
 an application of Ritt principle. 14. On the planar imbedding of linear graphs I
 15. On the planar imbedding of linear graphs II
 16. A mechanization method of geometry and its applications I
 17. Recent studies of the history of Chinese mathematics
 18. On Chern numbers of algebraic varieties with arbitrary singularities
 19. Mechanical derivation of Newton's gravitational laws from Kepler's laws
 20. A mechanization method of geometry and its applications II
 21. A mechanization method of geometry and its applications III
 22. On the foundation of algebraic differential geometry
 23. On the genetic zero and Chow basis of an irreducible ascending set
 24. Mechanical theorem proving of differential geometries and some of its applications in mechanics
 25. On a finiteness theorem about optimization problems
 26. On surfacefitting problem in CAGD
 27. Central configurations in planet motions and vortex motions
 28. On algebraicodifferential equationssolving
 29. On the construction of Groebner basis of a polynomial ideal based on RiquierJanet theory
 30. On "good" bases of algebraicodifferential ideals
 Isbn
 9781281933676
 Label
 Selected works of WenTsun Wu
 Title
 Selected works of WenTsun Wu
 Statement of responsibility
 WenTsun Wu
 Language
 eng
 Summary
 This important book presents all the major works of Professor WenTsun 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 StiefelWhitney 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 nontrivial 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
 http://library.link/vocab/creatorName
 Wu, Wentsün
 Dewey number
 514.2 22
 Illustrations
 illustrations
 Index
 no index present
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/subjectName

 Wu, Wentsün
 Algebraic topology
 Computer science
 Mathematics, Chinese
 Label
 Selected works of WenTsun Wu, WenTsun Wu, (electronic resource)
 Bibliography note
 Includes bibliographical references
 Color
 other
 Contents
 1. On the product of sphere bundles and the duality theorem modulo two  2. Classes caracteristiques et icarres d'une variete  3. Les icarres dans une variete grassmannienne  4. On the realization of complexes in Euclidean spaces I  5. On the realization of complexes in Euclidean spaces III  6. On universal invariant forms  7. Theory of I*functor in algebraic topology  effective calculation and axiomatization of I*functor on complexes  8. On the decision problem and the mechanization of theoremproving in elementary geometry  9. Toward mechanization of geometry  Some comments on Hilbert's "Grundlagen der Geometrie"  10. The outin complementary principle  11. A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theoremproving in differential geometries  12. Basic principles of mechanical theoremproving in elementary geometries. 13. On zeros of algebraic equations  an application of Ritt principle. 14. On the planar imbedding of linear graphs I  15. On the planar imbedding of linear graphs II  16. A mechanization method of geometry and its applications I  17. Recent studies of the history of Chinese mathematics  18. On Chern numbers of algebraic varieties with arbitrary singularities  19. Mechanical derivation of Newton's gravitational laws from Kepler's laws  20. A mechanization method of geometry and its applications II  21. A mechanization method of geometry and its applications III  22. On the foundation of algebraic differential geometry  23. On the genetic zero and Chow basis of an irreducible ascending set  24. Mechanical theorem proving of differential geometries and some of its applications in mechanics  25. On a finiteness theorem about optimization problems  26. On surfacefitting problem in CAGD  27. Central configurations in planet motions and vortex motions  28. On algebraicodifferential equationssolving  29. On the construction of Groebner basis of a polynomial ideal based on RiquierJanet theory  30. On "good" bases of algebraicodifferential ideals
 Control code
 ocn316004227
 Dimensions
 unknown
 Extent
 1 online resource (viii, 467 pages)
 Form of item
 online
 Isbn
 9781281933676
 Note
 eBooks on EBSCOhost
 Other physical details
 illustrations
 Specific material designation
 remote
 System control number
 (OCoLC)316004227
 Label
 Selected works of WenTsun Wu, WenTsun Wu, (electronic resource)
 Bibliography note
 Includes bibliographical references
 Color
 other
 Contents
 1. On the product of sphere bundles and the duality theorem modulo two  2. Classes caracteristiques et icarres d'une variete  3. Les icarres dans une variete grassmannienne  4. On the realization of complexes in Euclidean spaces I  5. On the realization of complexes in Euclidean spaces III  6. On universal invariant forms  7. Theory of I*functor in algebraic topology  effective calculation and axiomatization of I*functor on complexes  8. On the decision problem and the mechanization of theoremproving in elementary geometry  9. Toward mechanization of geometry  Some comments on Hilbert's "Grundlagen der Geometrie"  10. The outin complementary principle  11. A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theoremproving in differential geometries  12. Basic principles of mechanical theoremproving in elementary geometries. 13. On zeros of algebraic equations  an application of Ritt principle. 14. On the planar imbedding of linear graphs I  15. On the planar imbedding of linear graphs II  16. A mechanization method of geometry and its applications I  17. Recent studies of the history of Chinese mathematics  18. On Chern numbers of algebraic varieties with arbitrary singularities  19. Mechanical derivation of Newton's gravitational laws from Kepler's laws  20. A mechanization method of geometry and its applications II  21. A mechanization method of geometry and its applications III  22. On the foundation of algebraic differential geometry  23. On the genetic zero and Chow basis of an irreducible ascending set  24. Mechanical theorem proving of differential geometries and some of its applications in mechanics  25. On a finiteness theorem about optimization problems  26. On surfacefitting problem in CAGD  27. Central configurations in planet motions and vortex motions  28. On algebraicodifferential equationssolving  29. On the construction of Groebner basis of a polynomial ideal based on RiquierJanet theory  30. On "good" bases of algebraicodifferential ideals
 Control code
 ocn316004227
 Dimensions
 unknown
 Extent
 1 online resource (viii, 467 pages)
 Form of item
 online
 Isbn
 9781281933676
 Note
 eBooks on EBSCOhost
 Other physical details
 illustrations
 Specific material designation
 remote
 System control number
 (OCoLC)316004227
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/SelectedworksofWenTsunWuWenTsunWu/sDCSTKWrPDU/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/SelectedworksofWenTsunWuWenTsunWu/sDCSTKWrPDU/">Selected works of WenTsun Wu, WenTsun Wu, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Selected works of WenTsun Wu, WenTsun Wu, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/SelectedworksofWenTsunWuWenTsunWu/sDCSTKWrPDU/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/SelectedworksofWenTsunWuWenTsunWu/sDCSTKWrPDU/">Selected works of WenTsun Wu, WenTsun Wu, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>