{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T13:41:39Z","timestamp":1762782099233,"version":"3.41.0"},"reference-count":15,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,10,10]],"date-time":"2017-10-10T00:00:00Z","timestamp":1507593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2017,10,10]]},"abstract":"<jats:p>Professor Wen-Tsun Wu passed away on May 7, 2017, a few days ahead of his 98th birthday. Wu is one of the most influential Chinese mathematicians and computer scientists. In his early years, he made fundamental contributions to algebraic topology. In the late 1970s, Wu proposed the Wu's method of geometric theorem proving and founded the school of Mathematics Mechanization. His study on the ancient Chinese mathematics opened a new era in the field of history of Chinese mathematics. He also made contributions in the area of algebraic geometry, invariant theory, complex geometry, and game theory. His legacy consists not only of his academic work but also of several generations of scientists who learned from him the joy and enthusiasm of scientific research and the way to go about it.<\/jats:p>","DOI":"10.1145\/3151131.3151136","type":"journal-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:52:50Z","timestamp":1507812770000},"page":"73-79","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Wen-Tsun Wu: His Life and Legacy"],"prefix":"10.1145","volume":"51","author":[{"given":"Xiao-Shan","family":"Gao","sequence":"first","affiliation":[{"name":"KLMM, Chinese Academy of Sciences"}]}],"member":"320","published-online":{"date-parts":[[2017,10,10]]},"reference":[{"issue":"2","key":"e_1_2_1_1_1","first-page":"641","article-title":"On the product of sphere bundles and the duality theorem modulo two","volume":"49","author":"Wu W.T.","year":"1948","unstructured":"W.T. Wu . On the product of sphere bundles and the duality theorem modulo two . Ann. of Math. 49 ( 2 ), 641 - 653 , 1948 . W.T. Wu. On the product of sphere bundles and the duality theorem modulo two. Ann. of Math. 49(2), 641-653, 1948.","journal-title":"Ann. of Math."},{"key":"e_1_2_1_2_1","first-page":"2117","article-title":"de contact ou d'une structure complexe sur une sph\u00e9re","volume":"226","author":"Wu W.T.","year":"1948","unstructured":"W.T. Wu . Sur L'existence d'un champ d'\u00e9l\u00e8ments de contact ou d'une structure complexe sur une sph\u00e9re . C. R. Acad. Sci. 226 , 2117 - 2119 , 1948 . W.T. Wu. Sur L'existence d'un champ d'\u00e9l\u00e8ments de contact ou d'une structure complexe sur une sph\u00e9re. C. R. Acad. Sci. 226, 2117-2119, 1948.","journal-title":"C. R. Acad. Sci."},{"key":"e_1_2_1_3_1","first-page":"508","article-title":"Classes caract\u00e9ristiques et i-carr\u00e8s d'une vari\u00e9t\u00e8","volume":"230","author":"Wu W.T.","year":"1950","unstructured":"W.T. Wu . Classes caract\u00e9ristiques et i-carr\u00e8s d'une vari\u00e9t\u00e8 . C. R. Acad. Sci. 230 , 508 - 511 , 1950 . W.T. Wu. Classes caract\u00e9ristiques et i-carr\u00e8s d'une vari\u00e9t\u00e8. C. R. Acad. Sci. 230, 508-511, 1950.","journal-title":"C. R. Acad. Sci."},{"key":"e_1_2_1_4_1","first-page":"918","article-title":"Les i-carr\u00e9s dans une vari\u00e9t\u00e8 grassmanni\u00e8nne","volume":"230","author":"Wu W.T.","year":"1950","unstructured":"W.T. Wu . Les i-carr\u00e9s dans une vari\u00e9t\u00e8 grassmanni\u00e8nne . C. R. Acad. Sci. 230 , 918 - 920 , 1950 . W.T. Wu. Les i-carr\u00e9s dans une vari\u00e9t\u00e8 grassmanni\u00e8nne. C. R. Acad. Sci. 230, 918-920, 1950.","journal-title":"C. R. Acad. Sci."},{"key":"e_1_2_1_5_1","volume-title":"Actualit\u00e9s Sci. Ind., No. 1183, Publ. Inst. Math. Univ. Strasbourg 11","author":"Wu W.T.","year":"1952","unstructured":"W.T. Wu . Sur les espaces fibr\u00e9s et les vari\u00e9t\u00e9s feuillet\u00e9es , Actualit\u00e9s Sci. Ind., No. 1183, Publ. Inst. Math. Univ. Strasbourg 11 , Hermann & Cie , Paris , 1952 . W.T. Wu. Sur les espaces fibr\u00e9s et les vari\u00e9t\u00e9s feuillet\u00e9es, Actualit\u00e9s Sci. Ind., No. 1183, Publ. Inst. Math. Univ. Strasbourg 11, Hermann & Cie, Paris, 1952."},{"key":"e_1_2_1_6_1","first-page":"1307","article-title":"Essential equilibrium points of n-person non-cooperative games","volume":"12","author":"Wu W.T.","year":"1962","unstructured":"W.T. Wu and J.H. Jiang . Essential equilibrium points of n-person non-cooperative games . Scientia Sinica , 12 , 1307 - 1322 , 1962 . W.T. Wu and J.H. Jiang. Essential equilibrium points of n-person non-cooperative games. Scientia Sinica, 12, 1307-1322, 1962.","journal-title":"Scientia Sinica"},{"key":"e_1_2_1_7_1","volume-title":"A theory of imbedding, immersion, and isotopy of polytopes in a euclidean space","author":"Wu W.T.","year":"1965","unstructured":"W.T. Wu . A theory of imbedding, immersion, and isotopy of polytopes in a euclidean space . Science Press , Beijing , 1965 . W.T. Wu. A theory of imbedding, immersion, and isotopy of polytopes in a euclidean space. Science Press, Beijing, 1965."},{"key":"e_1_2_1_8_1","first-page":"395","article-title":"The Chern characteristic classes on an algebraic variety (in Chinese)","volume":"8","author":"Wu W.T.","year":"1965","unstructured":"W.T. Wu . The Chern characteristic classes on an algebraic variety (in Chinese) . Shuxue Jinzhan , 8 , 395 - 401 , 1965 . W.T. Wu. The Chern characteristic classes on an algebraic variety (in Chinese). Shuxue Jinzhan, 8, 395-401, 1965.","journal-title":"Shuxue Jinzhan"},{"key":"e_1_2_1_9_1","first-page":"226","article-title":"Planar imbedding of linear graphs (in Chinese)","author":"Wu W.T.","year":"1973","unstructured":"W.T. Wu . Planar imbedding of linear graphs (in Chinese) . Kexue Tongbao , 226 - 228 1973 . W.T. Wu. Planar imbedding of linear graphs (in Chinese). Kexue Tongbao, 226-228 1973.","journal-title":"Kexue Tongbao"},{"key":"e_1_2_1_10_1","volume-title":"On the decision problem and the mechanization of theorem-proving in elementary geometry Scientia Sinica 21, 159-172","author":"Wu W.T.","year":"1978","unstructured":"W.T. Wu . On the decision problem and the mechanization of theorem-proving in elementary geometry Scientia Sinica 21, 159-172 , 1978 . Re-published in Automated Theorem Proving: After 25 Years, 213-234, AMS Press , 1984. W.T. Wu. On the decision problem and the mechanization of theorem-proving in elementary geometry Scientia Sinica 21, 159-172, 1978. Re-published in Automated Theorem Proving: After 25 Years, 213-234, AMS Press, 1984."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02328447"},{"key":"e_1_2_1_12_1","volume-title":"Basic principles of mechanical theorem proving in geometries (in Chinese)","author":"Wu W.T.","year":"1984","unstructured":"W.T. Wu . Basic principles of mechanical theorem proving in geometries (in Chinese) , Science Press, Beijing , 1984 . English translation by D.M. Wang and X. Jin, Springer , 1994. W.T. Wu. Basic principles of mechanical theorem proving in geometries (in Chinese), Science Press, Beijing, 1984. English translation by D.M. Wang and X. Jin, Springer, 1994."},{"key":"e_1_2_1_13_1","volume-title":"Proc. ICM 1986","author":"Wu W.T.","year":"1987","unstructured":"W.T. Wu . Recenct studies of the history of Chinese mathematics . Proc. ICM 1986 , Amer. Math. Soc., 1657-1667 , 1987 . W.T. Wu. Recenct studies of the history of Chinese mathematics. Proc. ICM 1986, Amer. Math. Soc., 1657-1667, 1987."},{"key":"e_1_2_1_14_1","volume-title":"No. 1264","author":"Wu W.T.","year":"1987","unstructured":"W.T. Wu . Rational homotopy type - A constructive study via the theory of the I*-measure. Lect. Notes in Math ., No. 1264 , Springer Verlag , Berlin , 1987 . W.T. Wu. Rational homotopy type - A constructive study via the theory of the I*-measure. Lect. Notes in Math., No. 1264, Springer Verlag, Berlin, 1987."},{"key":"e_1_2_1_15_1","volume-title":"Mathematics mechanization","author":"Wu W.T.","year":"2000","unstructured":"W.T. Wu . Mathematics mechanization . Science Press\/Kluer Pub ., 2000 . W.T. Wu. Mathematics mechanization. Science Press\/Kluer Pub., 2000."}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3151131.3151136","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3151131.3151136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:39Z","timestamp":1750212819000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3151131.3151136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,10]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,10,10]]}},"alternative-id":["10.1145\/3151131.3151136"],"URL":"https:\/\/doi.org\/10.1145\/3151131.3151136","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2017,10,10]]},"assertion":[{"value":"2017-10-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}