Selected works of Wen-Tsun Wu:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific
c2008
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references 1. On the product of sphere bundles and the duality theorem modulo two -- 2. Classes caracteristiques et i-carres d'une variete -- 3. Les i-carres 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 theorem-proving in elementary geometry -- 9. Toward mechanization of geometry -- Some comments on Hilbert's "Grundlagen der Geometrie" -- 10. The out-in complementary principle -- 11. A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem-proving in differential geometries -- 12. Basic principles of mechanical theorem-proving 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 surface-fitting problem in CAGD -- 27. Central configurations in planet motions and vortex motions -- - 28. On algebraico-differential equations-solving -- 29. On the construction of Groebner basis of a polynomial ideal based on Riquier-Janet theory -- 30. On "good" bases of algebraico-differential ideals 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 |
| Beschreibung: | 1 Online-Ressource (viii, 467 p.) |
| ISBN: | 9789812791085 9812791086 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043069455 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2008 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812791085 |c electronic bk. |9 978-981-279-108-5 | ||
| 020 | |a 9812791086 |c electronic bk. |9 981-279-108-6 | ||
| 035 | |a (OCoLC)316004227 | ||
| 035 | |a (DE-599)BVBBV043069455 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 514.2 22 |2 22 | |
| 100 | 1 | |a Wu, Wen-tsün |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Selected works of Wen-Tsun Wu |c Wen-Tsun Wu |
| 264 | 1 | |a Singapore |b World Scientific |c c2008 | |
| 300 | |a 1 Online-Ressource (viii, 467 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references | ||
| 500 | |a 1. On the product of sphere bundles and the duality theorem modulo two -- 2. Classes caracteristiques et i-carres d'une variete -- 3. Les i-carres 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 theorem-proving in elementary geometry -- 9. Toward mechanization of geometry -- Some comments on Hilbert's "Grundlagen der Geometrie" -- 10. The out-in complementary principle -- 11. A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem-proving in differential geometries -- 12. Basic principles of mechanical theorem-proving in elementary geometries. 13. On zeros of algebraic equations -- | ||
| 500 | |a - 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 surface-fitting problem in CAGD -- 27. Central configurations in planet motions and vortex motions -- | ||
| 500 | |a - 28. On algebraico-differential equations-solving -- 29. On the construction of Groebner basis of a polynomial ideal based on Riquier-Janet theory -- 30. On "good" bases of algebraico-differential ideals | ||
| 500 | |a 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 | ||
| 600 | 1 | 4 | |a Wu, Wen-tsün |
| 600 | 1 | 4 | |a Wu, Wen-tsün |
| 650 | 7 | |a MATHEMATICS / Topology |2 bisacsh | |
| 650 | 4 | |a Geschichte | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Algebraic topology | |
| 650 | 4 | |a Computer science |x Mathematics | |
| 650 | 4 | |a Mathematics, Chinese |x History | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 981-279-107-8 |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=518670 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028493647 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=518670 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=518670 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175451365572608 |
|---|---|
| any_adam_object | |
| author | Wu, Wen-tsün |
| author_facet | Wu, Wen-tsün |
| author_role | aut |
| author_sort | Wu, Wen-tsün |
| author_variant | w t w wtw |
| building | Verbundindex |
| bvnumber | BV043069455 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)316004227 (DE-599)BVBBV043069455 |
| dewey-full | 514.222 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 514 - Topology |
| dewey-raw | 514.2 22 |
| dewey-search | 514.2 22 |
| dewey-sort | 3514.2 222 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05287nmm a2200505zc 4500</leader><controlfield tag="001">BV043069455</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2008 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812791085</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-279-108-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812791086</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-279-108-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316004227</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043069455</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">514.2 22</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wu, Wen-tsün</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Selected works of Wen-Tsun Wu</subfield><subfield code="c">Wen-Tsun Wu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific</subfield><subfield code="c">c2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 467 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">1. On the product of sphere bundles and the duality theorem modulo two -- 2. Classes caracteristiques et i-carres d'une variete -- 3. Les i-carres 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 theorem-proving in elementary geometry -- 9. Toward mechanization of geometry -- Some comments on Hilbert's "Grundlagen der Geometrie" -- 10. The out-in complementary principle -- 11. A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem-proving in differential geometries -- 12. Basic principles of mechanical theorem-proving in elementary geometries. 13. On zeros of algebraic equations -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 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 surface-fitting problem in CAGD -- 27. Central configurations in planet motions and vortex motions -- </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a"> - 28. On algebraico-differential equations-solving -- 29. On the construction of Groebner basis of a polynomial ideal based on Riquier-Janet theory -- 30. On "good" bases of algebraico-differential ideals</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Wu, Wen-tsün</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Wu, Wen-tsün</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Topology</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic topology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics, Chinese</subfield><subfield code="x">History</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">981-279-107-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=518670</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028493647</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=518670</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=518670</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043069455 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:30Z |
| institution | BVB |
| isbn | 9789812791085 9812791086 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028493647 |
| oclc_num | 316004227 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (viii, 467 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Wu, Wen-tsün Verfasser aut Selected works of Wen-Tsun Wu Wen-Tsun Wu Singapore World Scientific c2008 1 Online-Ressource (viii, 467 p.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references 1. On the product of sphere bundles and the duality theorem modulo two -- 2. Classes caracteristiques et i-carres d'une variete -- 3. Les i-carres 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 theorem-proving in elementary geometry -- 9. Toward mechanization of geometry -- Some comments on Hilbert's "Grundlagen der Geometrie" -- 10. The out-in complementary principle -- 11. A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem-proving in differential geometries -- 12. Basic principles of mechanical theorem-proving 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 surface-fitting problem in CAGD -- 27. Central configurations in planet motions and vortex motions -- - 28. On algebraico-differential equations-solving -- 29. On the construction of Groebner basis of a polynomial ideal based on Riquier-Janet theory -- 30. On "good" bases of algebraico-differential ideals 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 Wu, Wen-tsün MATHEMATICS / Topology bisacsh Geschichte Informatik Mathematik Algebraic topology Computer science Mathematics Mathematics, Chinese History Erscheint auch als Druck-Ausgabe, Hardcover 981-279-107-8 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=518670 Aggregator Volltext |
| spellingShingle | Wu, Wen-tsün Selected works of Wen-Tsun Wu Wu, Wen-tsün MATHEMATICS / Topology bisacsh Geschichte Informatik Mathematik Algebraic topology Computer science Mathematics Mathematics, Chinese History |
| title | Selected works of Wen-Tsun Wu |
| title_auth | Selected works of Wen-Tsun Wu |
| title_exact_search | Selected works of Wen-Tsun Wu |
| title_full | Selected works of Wen-Tsun Wu Wen-Tsun Wu |
| title_fullStr | Selected works of Wen-Tsun Wu Wen-Tsun Wu |
| title_full_unstemmed | Selected works of Wen-Tsun Wu Wen-Tsun Wu |
| title_short | Selected works of Wen-Tsun Wu |
| title_sort | selected works of wen tsun wu |
| topic | Wu, Wen-tsün MATHEMATICS / Topology bisacsh Geschichte Informatik Mathematik Algebraic topology Computer science Mathematics Mathematics, Chinese History |
| topic_facet | Wu, Wen-tsün MATHEMATICS / Topology Geschichte Informatik Mathematik Algebraic topology Computer science Mathematics Mathematics, Chinese History |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=518670 |
| work_keys_str_mv | AT wuwentsun selectedworksofwentsunwu |