Crutcher
1936 Aug 1940 Department, Shanghai Jiaotong University graduate study in September, 1940, 1941 Shanghai Yuying Middle School as an instructor in 1942 and September 1945, Shanghai Peizhen Middle School as an instructor in January 1946 in Shanghai in July 1946 the university teaching assistant from 1946 to August 1947 the June Intern researcher at the Institute of Mathematics of Academia Sinica in November 1947 in July 1951 from abroad,French State doctorate in 1951 to September 1952 in September 1952, a math professor at Peking University in October 1979 and September 1979, a researcher with the Institute of Mathematics in October 1998, a researcher with the Institute of Systems Science, Chinese Academy of Sciences in December 1998 Academy of Mathematics and Systems Science, Chinese Academy of Sciences, a researcher with the Institute of Systems Science1936 Aug 1940 Department, Shanghai Jiaotong University graduate study in September, 1940, 1941 Shanghai Yuying Middle School as an instructor in 1942 and September 1945, Shanghai Peizhen Middle School as an instructor in January 1946 in Shanghai in July 1946 the university teaching assistant from 1946 to August 1947 the June Intern researcher at the Institute of Mathematics of Academia Sinica in November 1947 in July 1951 from abroad,French State doctorate in 1951 to September 1952 in September 1952, a math professor at Peking University in October 1979 and September 1979, a researcher with the Institute of Mathematics in October 1998, a researcher with the Institute of Systems Science, Chinese Academy of Sciences in December 1998 Academy of Mathematics and Systems Science, Chinese Academy of Sciences, a researcher with the Institute of Systems Science.
Work Experience
1940 - 1945 served on the faculty at Yuying Middle School, the vice chairman of the True Middle School, Nanyang Model Female, Zhijiang University; during the jobless have been out of work for six months to set up in Shanghai in early 1946 the University assistant professor Zheng Taipu, August Shiing - wu wenjun to absorb by the math works as an assistant researcher from 1947 to 1949, was working on a French country doctor's degree in 1947 from a pivotal study of topology, and it is provedthat Whitney product formula and a dual theoremIn 1948, published on 1948 November 1947 in France studying in the university follow C. Ehresmann learning in 1948 started to participate in the work of research at CNRS, novice Attaché, 1951 in Chang's deRecherches1949 completed in "On the Sphere Bundle space of characteristic class" Ph.D. dissertation, thesis in 1952 monograph was published in 1949 to Zurich's visit to the French State doctorate in the summer of 1949 to Paris,Follow H. Cartan continued study of topology in 1950 with Thom on cooperation regarding the Stiefel - Whitney Classes on an Oriented Differentiable Manifold paper, later known as Wu class and the Wu formula August 1951 was back in China, Peking University as a professor in the Department of Mathematics in October 1952 to the newly built Ren, a researcher with the Institute of Mathematics in 1954 started abhomotopy topological invariants of the study, thereby introducing the embedded composite shape classes and carry out embedding, homeomorphism of immersion and study in 1956 to the former Soviet Union to attend the Third All - Union Congress of Mathematicians do Pontrjagin Characteristic Classes of report,Kudos in 1956 along with Chen Jiangong, P.Mathieu professor access beginning with the scholarly world regain contact, Chern et al. Science Romania in 1956 along with Professor Su Buqing visits to Bulgaria in 1957 went to Poland, East Germany, his visit to France in 1958 at Sorbonne lecture system introduced imbedding class work, et al. has a great influence on the 1958 "theory and practice" of motion, the topology is interrupted,Game Theory's research began in 1959, with a Science and Mechanics - speaking first - year calculus in September 1960, Department of Mathematics, president of the university students of the class of the Bishop of 60 teachers, taught calculus and 1962 on singularity theory research on middle school students on 1958 "theory and practice" of motion, the topology is interrupted,Game Theory's research began in 1959, with a Science and Mechanics - speaking first - year calculus in September 1960, Department of Mathematics, president of the university students of the class of the Bishop of 60 teachers, taught calculus and 1962 on singularity theory research on middle school students on .
science lecture in the geometry of the mechanics in some applications, and by recording of Jiang book published by RenminEducation Press, 1963 HKUST level 60 as well as the establishment of professional geometric topology, algebraic geometry that have opened for the first time at HKUST, specialized courses, and by the Jing Yue taught in algebraic topology and published by Science Press 1965 imbedding class theory of chinese version,title, immersion, andisotopyofpolytopesinanEuclideanspace1967 completed "imbedding class theory in the wiring problem on the application of the Law of the People's Republic of China in 1972, China began returning home science lecture in the geometry of the mechanics in some applications, and by recording of Jiang book published by RenminEducation Press, 1963 HKUST level 60 as well as the establishment of professional geometric topology, algebraic geometry that have opened for the first time at HKUST, specialized courses, and by the Jing Yue taught in algebraic topology and published by Science Press 1965 imbedding class theory of chinese version,title, immersion, andisotopyofpolytopesinanEuclideanspace1967 completed "imbedding class theory in the wiring problem on the application of the Law of the People's Republic of China in 1972, China began returning home . Browder lecturing American topologist, Peterson, like Spencer's visit to China, obtaining them from other foreign scholars such as Poggio and S.Smale etc. of data,the topology; re - started in 1973 by mathematical topological group started on rational homotopy theory of class discussion, Wu started it - - - - - - - - - - - - - * functor theory study of the 1974 English imbedding class theory of Chinese version published by Science Press under the title "cross - sectional shape may be in the Euclidean space of the problem of the implementation of the Law of the People's Republic of China, plus the wiring problem of an appendix which started in 1974 on the history of Chinese mathematics interest, carried out a series of Chinese mathematics research, and Gu Gu now with the pseudonym of the book," Ancient Chinese Mathematics and great contributions to world culture ", made it clear that launched the modern mathematics can only lead to the development of today,China mainly depends on the type of mathematical, rather than a Greek type of mathematics, mathematics decide the history of the development process of China mainly depends on the type of mathematical, rather than a Greek type of mathematics", published in the Journal of Mathematics in 1975, no. 18
started late 1976 theorem proving research, the following year during the Spring Festival success for the first time in 1977 by a theorem of the algorithm for proving the paper, opens up a whole new direction started late 1976 theorem proving research, the following year during the Spring Festival success for the first time in 1977 by a theorem of the algorithm for proving the paper, opens up a whole new direction . 1978 authored "The General Situation and Development of Mathematics", published by Science Press of" modern science ", a book suggested mental labor,But Yu - jui, when deleted from the 1978 authored "The General Situation and Development of Mathematics", published by Science Press of" modern science ", a book suggested mental labor,But Yu - jui, when deleted from the .
1978 published in differential geometry theorem proving, at the National Association for the Study of the Dialectics of workshops on mathematical mechanization in 1979 was invited to visit the U.S. Institute for Advanced Study in Princeton, and visit The Rockefeller University, Columbia University, the offspring at the University, MIT, Philadelphia University, the University, the University of California at Berkeley, was invited to attend the University of California at Berkeley Chern retirement celebration,I made a functor from the category report * .
joined the Communist Party of China in 1979 to Changchun to participate in the relevant computer and mathematics academic conference of October 1979 created by Guan Zhaozhi Systems Science Institute, wu wenjun from mathematics to the system, either in the autumn of 1979, deputy director of the Science and Technology with a specialization course opened proving: in 1980 and started up the domestic double minute meeting, at the first meeting of the report of the "elementary geometry and differential geometry theorem proving" joined the Communist Party of China in 1979 to Changchun to participate in the relevant computer and mathematics academic conference of October 1979 created by Guan Zhaozhi Systems Science Institute, wu wenjun from mathematics to the system, either in the autumn of 1979, deputy director of the Science and Technology with a specialization course opened proving: in 1980 and started up the domestic double minute meeting, at the first meeting of the report of the "elementary geometry and differential geometry theorem proving". the fall of 1981 went to lecture at the University of California Berkeley campus in the fall of 1982 ~ 1983 visit to West Germany at the beginning of the Max - Planck - Institute of Mathematics, a visit to France in 1983 went to American University, the University of California, Los Angeles, the University of Chicago, Illinois University, the University visit the fall of 1981 went to lecture at the University of California Berkeley campus in the fall of 1982 ~ 1983 visit to West Germany at the beginning of the Max - Planck - Institute of Mathematics, a visit to France in 1983 went to American University, the University of California, Los Angeles, the University of Chicago, Illinois University, the University visit .
1984 by W. W. Bledsoe et al., eds: After25Years" publication, income Hereman for finding the fundamental paper,Hereman for finding the forties of the international widely disseminated on the 1984 opened in autumn of Science and Technology with a machine - proof theory course in 1985 for the Sixth Conference on double micro - reports 1984 opened in autumn of Science and Technology with a machine - proof theory course in 1985 for the Sixth Conference on double micro - reports .
1985 organized in October to discuss Liu Hui's math class, by experts in mathematics introduced in certain areas of the 1985 organized in October to discuss Liu Hui's math class, by experts in mathematics introduced in certain areas of the . and Lu Li, co - authored the popular book "which is equal to the angle bisector of the triangle", published by RenminEducation Press and Lu Li, co - authored the popular book "which is equal to the angle bisector of the triangle", published by RenminEducation Press .
June 1986 visit GE Xerox, Parc, HP Laboratory,in July, the New York Courant Institute at the University of Texas at Austin June 1986 visit GE Xerox, Parc, HP Laboratory,in July, the New York Courant Institute at the University of Texas at Austin . visited Department of Computer Science visited Department of Computer Science .
August 1986 invited mathematicians in the 20th International Conference on the Law of the People's Republic of China "report, visit the Argonne National Laboratory August 1986 invited mathematicians in the 20th International Conference on the Law of the People's Republic of China "report, visit the Argonne National Laboratory . 1986 popular anthology" The ritt Proceedings" 1986 popular anthology" The ritt Proceedings".
published by Shandong Education Press 1987 regarding - - - - - - - - - - - - - * - functor of the study are summarized in, * - measure ", a book that was published by Springer in May 1987 visit to the GDR, Leipzig has participated in the '87 Conference published by Shandong Education Press 1987 regarding - - - - - - - - - - - - - * - functor of the study are summarized in, * - measure ", a book that was published by Springer in May 1987 visit to the GDR, Leipzig has participated in the '87 Conference . 1987 July visit to Italy, the University, the International Conference on Automated Reasoning Math October 1987 visit to Canada,Algebraic symbol and attend international conferences 1987 July visit to Italy, the University, the International Conference on Automated Reasoning Math October 1987 visit to Canada,Algebraic symbol and attend international conferences .
July 1988 to qualify for the U.S., Ithaca, international conference, as the system report July 1988 to crack in Parisian international mathematics and computer simulation of the rules of procedure of the General Assembly, invited the members of the Group of Experts as a convener, who had organized several people attend, that Wu not July 1988 to crack in Parisian international mathematics and computer simulation of the rules of procedure of the General Assembly, invited the members of the Group of Experts as a convener, who had organized several people attend, that Wu not .
September 1988 and October during the commemoration for the Paris September 1988 and October during the commemoration for the Paris . Thom and report: Thom and report:.
invited a panel of experts of the convener, who had organized several people attend, that Wu not invited a panel of experts of the convener, who had organized several people attend, that Wu not . to France and West Germany with a degree in computer science at the University of Goettingen University study visits to France and West Germany with a degree in computer science at the University of Goettingen University study visits .
1988 December 1985 by Liu Hui in mathematics that addressed part of the report by Anhui Science and TechnologyPress, called "Modern mathematics" 1988 December 1985 by Liu Hui in mathematics that addressed part of the report by Anhui Science and TechnologyPress, called "Modern mathematics" . March 1990 to Canada Montreal university academic visit March 1990 to Canada Montreal university academic visit .
1990, visited the Soviet Union, participating in the" physical science in computer algebra, " 1990, visited the Soviet Union, participating in the" physical science in computer algebra, ". International Conference in August 1990 in Hong Kong held its first Asian Congress of Mathematicians, do" solving the equation with theorem proving " International Conference in August 1990 in Hong Kong held its first Asian Congress of Mathematicians, do" solving the equation with theorem proving ".
report in August 1990 and the founding of the Chinese Academy of Sciences Institute of Systems Science Mathematics Mechanization Research Center, report in August 1990 and the founding of the Chinese Academy of Sciences Institute of Systems Science Mathematics Mechanization Research Center,. and served as director of the Center of the Third World Academy of Sciences Award in Mathematics in 1990 1990 October went to New York for the summer school of differential geometry is Professor shiing - shen chern birthday 1991 1 - 2 months to Maryland University Research Center for system access, and participated in the "learning geometry with the work of the Conference of the Parties serving as the" and served as director of the Center of the Third World Academy of Sciences Award in Mathematics in 1990 1990 October went to New York for the summer school of differential geometry is Professor shiing - shen chern birthday 1991 1 - 2 months to Maryland University Research Center for system access, and participated in the "learning geometry with the work of the Conference of the Parties serving as the" .
to Duke University's academic accessing to Duke University's academic accessing . January 1991 in Nankai Mathematics by academic year by the fact that wu wenjun and Hu Guoding co - chaired the mathematics of computer production of a series of reports by Singapore published 1993,entitled Computermathematics1991 April went to Grenoble to Paris to attend the conference on January 1991 in Nankai Mathematics by academic year by the fact that wu wenjun and Hu Guoding co - chaired the mathematics of computer production of a series of reports by Singapore published 1993,entitled Computermathematics1991 April went to Grenoble to Paris to attend the conference on .
CDE, Paris VII University, Polytechnique school visits CDE, Paris VII University, Polytechnique school visits . 1992 Kuwait 1990 Third World Academy of Sciences, the Mathematics Award to accept the award in July 1992 and P.Mathieu and professor at Beijing International Conference on the Mechanization of mathematics, published by the Proceedings of the 1992
8 months would go Austria and attend the AAGR,RISC Institute study visits in March 1993 with the scientist delegation to visit Taiwan 8 months would go Austria and attend the AAGR,RISC Institute study visits in March 1993 with the scientist delegation to visit Taiwan . October 1993 to south korea, Kyungpook National University, the geometric topology of Visiting in July 1994 with Shi He to Weihai mathematics graduate student summer school under the auspices of the mathematics mechanization introduced by October 1993 to south korea, Kyungpook National University, the geometric topology of Visiting in July 1994 with Shi He to Weihai mathematics graduate student summer school under the auspices of the mathematics mechanization introduced by .
summer workshops in August 1994 to participate in the Beijing International Conference of ISSAC summer workshops in August 1994 to participate in the Beijing International Conference of ISSAC . September 1994 in Hong Kong will go to September 1994 in Hong Kong will go to .
wang "in automated theorem proving the basic principle of elementary geometry (portion)" was translated into English, published by Springer,English called MechanicalTheoremProvinginGeometries1995 received the honorary degree at the City University of Hong Kong in May 1995 to the United States to attend a computer algebra program to attend academic conferences in August 1995 by China and Japan jointly hosted in Beijing the first Asian computer mathematics seminar wang "in automated theorem proving the basic principle of elementary geometry (portion)" was translated into English, published by Springer,English called MechanicalTheoremProvinginGeometries1995 received the honorary degree at the City University of Hong Kong in May 1995 to the United States to attend a computer algebra program to attend academic conferences in August 1995 by China and Japan jointly hosted in Beijing the first Asian computer mathematics seminar . December 1995 went to Singapore for the mathematics of the 1st Asian Conference on Science and Technology, made a report to the General Assembly that "the geometry problem solving and its realistic meaning" December 1995 went to Singapore for the mathematics of the 1st Asian Conference on Science and Technology, made a report to the General Assembly that "the geometry problem solving and its realistic meaning" .
May 1996 with professor Shiing - shen went to Guiyang for lecture,The report of the three popular Guizhou Education in 1997, Volume 48, Number 3, 1996, "Proceedings of the Wu" an updated edition, renamed "Wu Wenjuan Mathematics Mechanization", still published by Shandong Education Press in 1996 went to Hong Kong to attend the enlarged meeting of the Leading Group for the Tianyuan Fund in July 1996 and Shi Hyuk,Liu Zhuo Jun et al at Peking University presided over the mechanization of mathematics May 1996 with professor Shiing - shen went to Guiyang for lecture,The report of the three popular Guizhou Education in 1997, Volume 48, Number 3, 1996, "Proceedings of the Wu" an updated edition, renamed "Wu Wenjuan Mathematics Mechanization", still published by Shandong Education Press in 1996 went to Hong Kong to attend the enlarged meeting of the Leading Group for the Tianyuan Fund in July 1996 and Shi Hyuk,Liu Zhuo Jun et al at Peking University presided over the mechanization of mathematics . summer workshops in November 1996, the General Assembly to participate in the Third World Academy of Sciences of Trieste to Italy in December 1996 to Taiwan's participation in mathematics in June 1997 to attend Berkeley mathematician youth conferences in North America in July 1997 to join Australia in Townsville CADE - 14 of the International Conference, and received the Herbrand Award, the highest award of Automated Reasoning, summer workshops in November 1996, the General Assembly to participate in the Third World Academy of Sciences of Trieste to Italy in December 1996 to Taiwan's participation in mathematics in June 1997 to attend Berkeley mathematician youth conferences in North America in July 1997 to join Australia in Townsville CADE - 14 of the International Conference, and received the Herbrand Award, the highest award of Automated Reasoning,.
visited the Australian National University in August 1998 to participate in Beijing's second session, held in geometry (ADG) of the International Conference on Automated Reasoning in August 1998 attended by China and Japan jointly held in Lanzhou at the third session of the Asian Computer Mathematics International Conference in August 1998 and East Dai Lin, Zhang Wenling with Xinjiang as the Tianyuan Fund Lecture in 1997 and 1998 in respect of mathematics mechanization of the work summarized,under the title:, - - visited the Australian National University in August 1998 to participate in Beijing's second session, held in geometry (ADG) of the International Conference on Automated Reasoning in August 1998 attended by China and Japan jointly held in Lanzhou at the third session of the Asian Computer Mathematics International Conference in August 1998 and East Dai Lin, Zhang Wenling with Xinjiang as the Tianyuan Fund Lecture in 1997 and 1998 in respect of mathematics mechanization of the work summarized,under the title:, - - . Solving will be published by Science Press 1999 Oct 10 - 17, in Chengdu, "1999 October 21 visit of the China University of Science and Technology in Wuhan,Grant is emeritus professor and popular report "1999 November 6 in Guangzhou was held to commemorate the eightieth birthday of Guan Zhaozhi Mr Solving will be published by Science Press 1999 Oct 10 - 17, in Chengdu, "1999 October 21 visit of the China University of Science and Technology in Wuhan,Grant is emeritus professor and popular report "1999 November 6 in Guangzhou was held to commemorate the eightieth birthday of Guan Zhaozhi Mr .
Symposium of 15 December 1999 to 20 April visit to Germany, attended the International Congress of Mathematicians Symposium of 15 December 1999 to 20 April visit to Germany, attended the International Congress of Mathematicians . 2000 January 10 - 14 days attend seminars in the Mainland" mathematics and its civilization in the role of the international conference entitled "Law of the People's Republic of China 2000 January 10 - 14 days attend seminars in the Mainland" mathematics and its civilization in the role of the international conference entitled "Law of the People's Republic of China.
invitation report dated 14 January 2000 - The Law of the People's Republic of China on the People's Bank of China, participate in Hong Kong at a number of lectures on mathematics and AC series II ", titled" Characteristics of Chinese Traditional Mathematics and Its Significance in Contemporary Times reports the invitation report dated 14 January 2000 - The Law of the People's Republic of China on the People's Bank of China, participate in Hong Kong at a number of lectures on mathematics and AC series II ", titled" Characteristics of Chinese Traditional Mathematics and Its Significance in Contemporary Times reports the . 2000 from July 18 to July 28 to participate in the "calculation of differential algebraic summer is advanced seminar" reporting 2000 from July 18 to July 28 to participate in the "calculation of differential algebraic summer is advanced seminar" reporting .
2000 September 27 - 28 on Suez ETH in Switzerland to attend the Third International Conference of the Parties serving as the geometric reasoning "(2000),Speaker at the 2000 September 27 - 28 on Suez ETH in Switzerland to attend the Third International Conference of the Parties serving as the geometric reasoning "(2000),Speaker at the . 2000; 28 September - 6 October participated in the Paris Conference, titled: 2000; 28 September - 6 October participated in the Paris Conference, titled: .
report of 9 November 15 - The participated in Iran's" - - ICGK2000 International Conference, titled:"- The" invitation report report of 9 November 15 - The participated in Iran's" - - ICGK2000 International Conference, titled:"- The" invitation report . 2000 Dec. 18 to 21 September in Chiang Mai, Thailand to attend the Fourth Asia Computer Mathematics Seminar "ASCM '(2000) and on the Order of the report
On February 19, 2001 Won the First National Top Sci - Tech Prize of the General Assembly was held in the Great Hall of the People award On February 19, 2001 Won the First National Top Sci - Tech Prize of the General Assembly was held in the Great Hall of the People award . .
general secretary jiang zemin personally to Academician Wu Yuan Longping Award and another award winner general secretary jiang zemin personally to Academician Wu Yuan Longping Award and another award winner . February 2001 to Germany at the Mathematics Institute in March 2001 in Hefei Science and Technology of China's equivalent of the effective algebraic method is advanced seminar "on February 2001 to Germany at the Mathematics Institute in March 2001 in Hefei Science and Technology of China's equivalent of the effective algebraic method is advanced seminar "on .
report 2001 September 2001 CAST Annual Meeting held in Changchun, Wu made a report to the General Assembly of an additional item entitled:Mechanization of Mental Labor and Modernization of Science and Technology in September, 2001 in Shanghai Modern International Meeting, on the invitation of the General Assembly the report, entitled: OnAlgebraicDifferentialGeometryandAlgebraicDifferentialEquations2001 October visit to the City University of Hong Kong in October 2001 in Hong Kong for the 9th International Chinese History of Science annual conference invitation reports, entitled:OnSomeCharacteristicFeaturesofChineseMathematics2001 at Forum during the high letter, 13 October to 14 December held its first forum on comrade zhou guangzhao academician and lecturer report 2001 September 2001 CAST Annual Meeting held in Changchun, Wu made a report to the General Assembly of an additional item entitled:Mechanization of Mental Labor and Modernization of Science and Technology in September, 2001 in Shanghai Modern International Meeting, on the invitation of the General Assembly the report, entitled: OnAlgebraicDifferentialGeometryandAlgebraicDifferentialEquations2001 October visit to the City University of Hong Kong in October 2001 in Hong Kong for the 9th International Chinese History of Science annual conference invitation reports, entitled:OnSomeCharacteristicFeaturesofChineseMathematics2001 at Forum during the high letter, 13 October to 14 December held its first forum on comrade zhou guangzhao academician and lecturer . topics: mathematics mechanization and its role in the hi - tech topics: mathematics mechanization and its role in the hi - tech .
October 2001 Hereman in Mathematics held at Nankai University in Tianjin that "China in the 21st Century Mathematics" academic report meeting, entitled:China in the 21st century math October 2001 Hereman in Mathematics held at Nankai University in Tianjin that "China in the 21st Century Mathematics" academic report meeting, entitled:China in the 21st century math . 2001 English - language book, won the 2001 National Book 2001 English - language book, won the 2001 National Book .
June 2002 at Tsinghua in honor of the eightieth birthday of Yang Zhenning, in celebration of the International Symposium "on", "August 2002 international mathematician meeting to be held in public speaking," real numb system 2002 - in - chief of the Hong Kong - based Phoenix television station shall, at the invitation of Tsinghua University's computer age of the Chinese Mathematics lecture by June 2002 at Tsinghua in honor of the eightieth birthday of Yang Zhenning, in celebration of the International Symposium "on", "August 2002 international mathematician meeting to be held in public speaking," real numb system 2002 - in - chief of the Hong Kong - based Phoenix television station shall, at the invitation of Tsinghua University's computer age of the Chinese Mathematics lecture by . 10 January 2003 that "of the mathematics mechanization introduced by software" at the report: "Mental labor mechanization and mathematics mechanization in computer era" of the report 10 January 2003 that "of the mathematics mechanization introduced by software" at the report: "Mental labor mechanization and mathematics mechanization in computer era" of the report .
On November 17, 2003 in Guangdong Industrial University to do a report: "Topology to proving". On 19 November 2003 in China in 2003; and the National Congress, founded the extenics is celebrating 20 years in 2006, for the intelligent system of academic seminars on the basis of the computer age mental Mechanization and Modernization "report of 27 November 2003 in The1stAsianSymposiumonProgrammingLanguageandSystems on report On 28 November 2003 in the Chinese humanistic science forum report: "the era of Eastern mathematics" On 28 November 2003 in the Chinese humanistic science forum report: "the era of Eastern mathematics" .
2004 May 19 to 21 September to participate in the Shanghai Zhujiajiao Town of Qingpu District, to be held at the Sixth International Seminar of the mathematics mechanization introduced"( 2004 May 19 to 21 September to participate in the Shanghai Zhujiajiao Town of Qingpu District, to be held at the Sixth International Seminar of the mathematics mechanization introduced"(. IWMM6) on May 24, 2004 in Shanghai's Fudan University report: "the era of Eastern mathematics" in November 2004 and 8 - 9 by taking part in the Key Laboratory of Mathematics Mechanization Lab at The Lodge in Xiangshan of Strategic Development Symposium, made a summing - up IWMM6) on May 24, 2004 in Shanghai's Fudan University report: "the era of Eastern mathematics" in November 2004 and 8 - 9 by taking part in the Key Laboratory of Mathematics Mechanization Lab at The Lodge in Xiangshan of Strategic Development Symposium, made a summing - up .
2005 July 24 to 27 on the day the ISSAC 'held in Beijing in 2005, he was invited to give lectures: FiniteKernelTheoremandApplications2005 in July of science in the international will, make a report:OntheDevelopmentofRealNumberSysteminAncientChina2005 on September 26, was hired by the University of Petroleum, Dongying, and emeritus professor of 2005 July 24 to 27 on the day the ISSAC 'held in Beijing in 2005, he was invited to give lectures: FiniteKernelTheoremandApplications2005 in July of science in the international will, make a report:OntheDevelopmentofRealNumberSysteminAncientChina2005 on September 26, was hired by the University of Petroleum, Dongying, and emeritus professor of . day visited the Petroleum University History Showroom and Exhibition Hall, State Key Laboratory of Heavy Oil, then the state - of - the - art research center and a large stone Technology Group, and attended the "Academician Wu granted honorary professor and co - sponsored a Symposium"; the next day, he accepted an interview with Shandong TV day visited the Petroleum University History Showroom and Exhibition Hall, State Key Laboratory of Heavy Oil, then the state - of - the - art research center and a large stone Technology Group, and attended the "Academician Wu granted honorary professor and co - sponsored a Symposium"; the next day, he accepted an interview with Shandong TV .
2006 April 25 to 28 October to Ma anshan, Anhui; and Wuhu,visited the Anhui University of Technology, Ma Steel, Anhui East China Institute of Opto - Electronics, chery company etc., and was appointed as the Honorary Professor of Anhui University of Technology 3rd June 2006 obtained the Prize Awarded to 3rd June 2006 obtained the Prize Awarded to .
Social Activities
Professional Affiliations
1978 December - February 1983, the Fifth Committee of the CPPCC Standing Committee 1979 - 1984, deputy director of the institute under the Chinese Academy of Sciences (CAS) system in March 1983 - February 1988, the Sixth Committee of the CPPCC Standing Committee in February 1984 as CAS system, the honorary chairman of the 1984 - 1987 Director of the International Mathematical Union, 1988 - March 1993, the seventh session of the Committee of the CPPCC Standing Committee in August 1990 - May 1999, under the Chinese Academy of Sciences (CAS) system of the mathematics mechanization introduced by the Director of the Center for April 1992 - April 1996,Director of the Department of Chinese Academy of Sciences in March 1993 - February 1998, the eighth session of the Committee of the CPPCC Standing Committee in 1996 and leader of the Tianyuan fund (to replace the former leader of P.Mathieu professor)
Major Part
1948 to participate in the work of research at CNRS, novice Attaché, 1951 in Chang's State Science and Technology on the Climb Projects in the "machine - Proof and Application", the project of the Committee of Experts, chief scientist for the State Science and Technology (1992) on the Climb Projects in the "Mathematics Mechanization and Its Application", the Commission's chief scientist (1996) national emphasized groundwork research item named "Mathematics Mechanization and Automated Reasoning Platform"1948 to participate in the work of research at CNRS, novice Attaché, 1951 in Chang's State Science and Technology on the Climb Projects in the "machine - Proof and Application", the project of the Committee of Experts, chief scientist for the State Science and Technology (1992) on the Climb Projects in the "Mathematics Mechanization and Its Application", the Commission's chief scientist (1996) national emphasized groundwork research item named "Mathematics Mechanization and Automated Reasoning Platform". Expert Committee of Chief Scientists by high hills, wu wenjun Rewind is the committee of experts with the academic instruction, is a consultative body (1999) Expert Committee of Chief Scientists by high hills, wu wenjun Rewind is the committee of experts with the academic instruction, is a consultative body (1999).
Bonus Situation
In 1956 due to the characteristic class and imbedding class work won the State natural science award (first prize with two other first prize winner was Hua Luogeng and Qian Xuesen) in January 1957 co - opted member of the Chinese Academy of Sciences in 1958 at the invitation of the 1958 International Congress of Mathematicians in Edinburgh (packets) do report (1978) did not come to the National Meeting of Science Science Conference Award in July 1988 to crack in Parisian international mathematics and computer simulation of the rules of procedure of the General Assembly,invited the Panel of Experts as convenor (not rows) In 1956 due to the characteristic class and imbedding class work won the State natural science award (first prize with two other first prize winner was Hua Luogeng and Qian Xuesen) in January 1957 co - opted member of the Chinese Academy of Sciences in 1958 at the invitation of the 1958 International Congress of Mathematicians in Edinburgh (packets) do report (1978) did not come to the National Meeting of Science Science Conference Award in July 1988 to crack in Parisian international mathematics and computer simulation of the rules of procedure of the General Assembly,invited the Panel of Experts as convenor (not rows) . of the Third World Academy of Sciences Award in Mathematics in 1992 and 1993 and 1994, it has been awarded the Prize in Mathematical Tan Kah Kee Hong Kong is the Foundation's Distinguished Scientist Award "in 1997 of automatic reasoning for turnstyl Herbrand Prize of the City University of Hong Kong, the highest award of the honorary doctorate in 2000 National Supreme Scientific Award 2006 Shaw Prize in Mathematics in 2009, Shanghai Jiaotong University's first Distinguished Alumni Lifetime Achievement Award" of the Third World Academy of Sciences Award in Mathematics in 1992 and 1993 and 1994, it has been awarded the Prize in Mathematical Tan Kah Kee Hong Kong is the Foundation's Distinguished Scientist Award "in 1997 of automatic reasoning for turnstyl Herbrand Prize of the City University of Hong Kong, the highest award of the honorary doctorate in 2000 National Supreme Scientific Award 2006 Shaw Prize in Mathematics in 2009, Shanghai Jiaotong University's first Distinguished Alumni Lifetime Achievement Award".
Main Work
Wu Wenjun, a professor of mathematics study activity, can be divided into two stages, involving several areas of mathematics, a topological algebra and proving are two field contributions to the study on mathematical Wu Wenjun, a professor of mathematics study activity, can be divided into two stages, involving several areas of mathematics, a topological algebra and proving are two field contributions to the study on mathematical . far - reaching influence in 1947 to the early 1970s, to algebraic topology, his main contribution to two aspects: far - reaching influence in 1947 to the early 1970s, to algebraic topology, his main contribution to two aspects:.
Characteristic Classes;
Through Grassmann manifold plays in the 1930s by the Swiss Stiefel, U. S. Whitney, the Soviet Union and through different ways of introducing shiing - shen chern characteristic class of the exposition, the name, this paper explores itsclassification and Manifolds for he introduced the cohomology class, and later in literature and has been referred to in the Wu characteristic class, he propose that contain the topological invariance and the homotopy invariance of the two formulae, to be subsequently referred to as the Wu formula he introduced the cohomology class, and later in literature and has been referred to in the Wu characteristic class, he propose that contain the topological invariance and the homotopy invariance of the two formulae, to be subsequently referred to as the Wu formula .
because of these results are of fundamental importance and, in a variety of issues is widely used in the construction,As the 1950s Germany, Dold, of Germany in the 1960s the Soviet Union and thus of the Hirzebruch Novikov won the Fields of awards, including the Milnor and Bott etc.
Imbedding Class Study
He has introduced abhomotopy topological invariants of a general method of construction, and use them in the embedded systematic problems, as well as the introduction of the composite shape class is shown in block, and using the same method is used to study the problems with immersion Isotopy Problem, introduced a similar dip shown with classes shown He has introduced abhomotopy topological invariants of a general method of construction, and use them in the embedded systematic problems, as well as the introduction of the composite shape class is shown in block, and using the same method is used to study the problems with immersion Isotopy Problem, introduced a similar dip shown with classes shown . Switzerland since 1958 and heard him concerning the above - described imbedding class research work of lecturing, in 1961 the embedding problem, played an important role in promotion, and thus became the main topology expert Switzerland since 1958 and heard him concerning the above - described imbedding class research work of lecturing, in 1961 the embedding problem, played an important role in promotion, and thus became the main topology expert .
American Smale application of his work to a dimension greater than 4 of the Poincare conjecture,and thus with the authors' application on American Smale application of his work to a dimension greater than 4 of the Poincare conjecture,and thus with the authors' application on . He later imbedding class results in the circuit wiring problem, given the new linear graph planarity determination criterion, and decision criteria of the completely different in nature, which is characterized by that in the He later imbedding class results in the circuit wiring problem, given the new linear graph planarity determination criterion, and decision criteria of the completely different in nature, which is characterized by that in the .
calculation is to be noted that in his 1956 2012before the completion of the research achievements of importance in the years before he emerges, is still widely referenced calculation is to be noted that in his 1956 2012before the completion of the research achievements of importance in the years before he emerges, is still widely referenced . began in late 1976, engaged in the machine and levy bright with mechanized mathematics study began in late 1976, engaged in the machine and levy bright with mechanized mathematics study .
he proposed using computers to prove geometric theorems, and based on the methods of mathematical logic, fundamentally different, and reveals the inimitable advantage of that,changes on the international study of automated reasoning, automated deduction is known as a pioneer in the field of sex work as a consequence, the automatic corollary Herbrand Award for the year following he proposed using computers to prove geometric theorems, and based on the methods of mathematical logic, fundamentally different, and reveals the inimitable advantage of that,changes on the international study of automated reasoning, automated deduction is known as a pioneer in the field of sex work as a consequence, the automatic corollary Herbrand Award for the year following . is the 14th international automatic corollary of the General Assembly on the work of wu wenjun is the introduction and is the 14th international automatic corollary of the General Assembly on the work of wu wenjun is the introduction and .
"wu wenjun in automated reasoning community with his 1977 (theorem proving) method is known that the "wu wenjun in automated reasoning community with his 1977 (theorem proving) method is known that the . method is an automatic proof system of geometric theorems breakthroughs method is an automatic proof system of geometric theorems breakthroughs .
" "Automated Geometric Theorem first proved by Yu " "Automated Geometric Theorem first proved by Yu . research began in the 1950s although some significant results are obtained,But Wu method prior to the occurrence of this field for a couple of decades of progress and the research began in the 1950s although some significant results are obtained,But Wu method prior to the occurrence of this field for a couple of decades of progress and the .
in the field of automated reasoning, that is for one person to fully reverse the in the field of automated reasoning, that is for one person to fully reverse the . wu wenjun, obviously that is what wu wenjun, obviously that is what .
"," Wu's work will be automated reasoning for geometry theorem proving a less successful field becomes the most successful one "," Wu's work will be automated reasoning for geometry theorem proving a less successful field becomes the most successful one . in the area, we prove that a machine may be attributed to a person's job in the area, we prove that a machine may be attributed to a person's job .
geometry theorem proving is one such field geometry theorem proving is one such field . "he introduced to Solve Nonlinear Algebraic Equations and Wu's Method to solve algebraic equations is exact solutions to the most complete one of the methods, have been successfully used to solve many problems,and a real - time the current popular software in "he introduced to Solve Nonlinear Algebraic Equations and Wu's Method to solve algebraic equations is exact solutions to the most complete one of the methods, have been successfully used to solve many problems,and a real - time the current popular software in .
EC - funded plans () in Wu's method in the proprietary package EC - funded plans () in Wu's method in the proprietary package . Wu's method is further used for a number of high - tech realm, a series of international leading achievements on the Wu's method is further used for a number of high - tech realm, a series of international leading achievements on the .
include surface modeling, the robot mechanism position is analyzed, the intelligent CAD (Computer Aided Design) system, robot and image compression, include surface modeling, the robot mechanism position is analyzed, the intelligent CAD (Computer Aided Design) system, robot and image compression, . in the late eighties, he proposed that the partial differential equations are solved using the arraying method,partial differential algebraic equation groups is currently processing a complete in the late eighties, he proposed that the partial differential equations are solved using the arraying method,partial differential algebraic equation groups is currently processing a complete .
constructivity method. This method has been applied to differential geometry theorem proving and partial differential equations for solving expands the algebraic variety of usually no singularity characteristic number in the case of Chen has any singularity of Chen and Chen class number, and may be calculated are defined, forming a geometric algebra mechanization of expands the algebraic variety of usually no singularity characteristic number in the case of Chen has any singularity of Chen and Chen class number, and may be calculated are defined, forming a geometric algebra mechanization of .
he gives out multivariate polynomial set zero structure theorem, this is a Constructive algebraic geometry and algebraic sign of the development of he gives out multivariate polynomial set zero structure theorem, this is a Constructive algebraic geometry and algebraic sign of the development of .
Books Edited
Sur's money et les ét of s, s. Sci. Ind., No. 1183 = Publ. Inst. Math. mba Strasbourg 11, Hermann Cie., Paris" (1952) "Some applications in geometry of the mechanics, in Chinese), Chinese Youth Press, 1962. A theory of, immersion, and of in a euclidean. Science Press, Beijing (1965). The Chinese version with an Appendix: The problem of layoutprinted circuits and integrated circuits, Science Press, Beijing, (1978). "Chapters," Arithmetic in Nineand Liu Hui, W L, ed.), at Beijing Normal University Press, Beijing, 1981. Proceedings of the 1980 Beijing symposium on differential geometry and differential (co - editor with S. S. Chern), Science Press, Beijing, 1982. Basic principles of mechanical theorem proving in elementary geometries on geometries (Part), W L, ed.), Science Press, Beijing (1984). The English translation by D. M. Wang et al., Springer (1994). On, with two equal, W L, ed. with X. L.), The People's Education Press, Beijing (1985). The works of Wu Wen - ts' n, W L, ed.), the Shandong Science and Technology Press, Shenzhen Tourism, 1987. Rational homotopy type - - - - - - - - - - A via the theory of constructive study7576 - measure - - - - - - - - - - - - - *, - Lect. Notes in Math., No. 1264, Springer Verlag, Berlin (1987). Historical studies on "Nine Chapters - (Shu - Shu - - Zhang ''(W L, ed.), at Beijing Normal University Press, Beijing, 1987. New developments sunapee of today - - a collection of articles on Liu Hui, a seminar of sunapee W L, ed.), Anhuie and Technology Press, 1988. Chinese Mathematics onto the 21st Century, (Ed. with Cheng Min - de), Peking University Press, Beijing, 1991. Computer Mathematics, (Proc. In Special Program at NankaiSt. of Math. Tianjin in 1991, Ed. with Hu), World Scientific, Singapore, 1993. Proc. 1992 of International Workshop on Mathematics in Beijing, (Ed. with Cheng Min - de), Intern. Acad.Publishers, Beijing, 1992. Studies on Hui Liu, W L, ed. with Bai, Di Shen and Li), Shanxi People 'S Education Press and Nine Chapters - Press, 1993. Wu, loc. cit. n on Mathematics, W L), Shangdong Education Press, Shangdong, 1996. wu wenjun, "Mathematics Mechanization", Science Press, 2003.
Domestic Sewage Is Discharged
Chinese mathematician Wu Wenjun, a professor in his 60 's birthday on the day, as usual, with the dawn, all day immersed in the operations and equations, someone specially selected on this day in the evening, after pleasantries, had stated: "At Your Service Madame said, Today is your 60th birthday, congratulations to Chinese mathematician Wu Wenjun, a professor in his 60 's birthday on the day, as usual, with the dawn, all day immersed in the operations and equations, someone specially selected on this day in the evening, after pleasantries, had stated: "At Your Service Madame said, Today is your 60th birthday, congratulations to ." wu wenjun as if by hearing a news, Boudreau said: "Oh, yeah? I forgot! " wu wenjun as if by hearing a news, Boudreau said: "Oh, yeah? I forgot! .
" speeches to alarm me with: "a mathematician of full digital, how come you can't remember his own birthday?Actually, the fact that wu wenjun phenomenal memory for dates is very strong, he nearly in the 60s, when we breached a conundrum "proving " speeches to alarm me with: "a mathematician of full digital, how come you can't remember his own birthday?Actually, the fact that wu wenjun phenomenal memory for dates is very strong, he nearly in the 60s, when we breached a conundrum "proving ." It changed the mathematician "as a pen and some paper, and one head" of the way, being able to use mathematics to prove his " It changed the mathematician "as a pen and some paper, and one head" of the way, being able to use mathematics to prove his .
in the study of this issue, as regards the installation date of the electronic computer, the computer was last compiled more than 300 "instruction" of the program date, remember everything in the study of this issue, as regards the installation date of the electronic computer, the computer was last compiled more than 300 "instruction" of the program date, remember everything .
Impact Figure
May 4, 2010, the MPC has issued a bulletin to inform the international community, international permanent number No. 7683 of asteroid permanently named "Wu Xing" 2011, University of Science and Technology of China, China University of Science and Mathematics Division on the basis of CAS was set up by Wu Wenjuan Mathematics Laboratory 2011, University of Science and Technology of China, China University of Science and Mathematics Division on the basis of CAS was set up by Wu Wenjuan Mathematics Laboratory .
Character Evaluation
For a long time, Mr. Wu that stood in the forefront of mathematics, science, research, exploration and carrying out a series of original achievements, especially in topology, the mathematical mechanization has made outstanding contributions to the field, the state and national honour to the (former Secretary of the Communist Party of China (CPC), President Hu Jintao) evaluation of effort and contribution to the international academic community which is widely recognized as China's scientific community honors, also set an example for the young scholars at the Chinese Academy of Sciences Lu Yongxiang, president of the original (former Secretary of the Communist Party of China (CPC), President Hu Jintao) evaluation of effort and contribution to the international academic community which is widely recognized as China's scientific community honors, also set an example for the young scholars at the Chinese Academy of Sciences Lu Yongxiang, president of the original .
(evaluation), talented, gifted at maths and (evaluation), talented, gifted at maths and . was a brilliant mathematician,His work shows plenty of imagination and originality, was a brilliant mathematician,His work shows plenty of imagination and originality, .
he engaged in mathematics teaching and research, which, for decades, has made important contribution.. (mathematician, Shiing - shen of the Chinese Academy of Sciences and foreign member of the evaluation) 1
