The day of May 12, 1989 is the 70 th birthday of Professor Wu Wen-tsn, an outstanding Ghinese mathematician, an internationally recognized topologist and a founder of Mechanized Mathematic. After long years of arduous...The day of May 12, 1989 is the 70 th birthday of Professor Wu Wen-tsn, an outstanding Ghinese mathematician, an internationally recognized topologist and a founder of Mechanized Mathematic. After long years of arduous research endeavors, Wu has made enormous achievements in various aspects, and won for himself an international reputation. Wu Wen-tsn was fomerly deputy direcor of Institute of Mathematies, Academia Sinica and then deputy directer of Institute of Systems Sciences, Acade-展开更多
Ameeting to celebrate the 90th birthday of late Prof. L. K. Hua (1910-1985) was held on November 12, 2000 in Beijing. The meeting, jointly sponsored by the Chinese Academy of Sciences (CAS) and Chinese Association for...Ameeting to celebrate the 90th birthday of late Prof. L. K. Hua (1910-1985) was held on November 12, 2000 in Beijing. The meeting, jointly sponsored by the Chinese Academy of Sciences (CAS) and Chinese Association for Science and Technology (CAST), was attended by about 200 people from all walks of life.展开更多
The 24 International Congress of Mathematicians (ICM2002) was held from August 20 to 28 in Beijing. About 4,200 mathematicians from more than 100 countries participated in the quadrennial meeting orga nized by the... The 24 International Congress of Mathematicians (ICM2002) was held from August 20 to 28 in Beijing. About 4,200 mathematicians from more than 100 countries participated in the quadrennial meeting orga nized by the Chinese Mathematics Society (CMS) under the auspices of the International Mathematical Union (IMU). The Chinese Academy of Sciences was among the eight sponsors of the Congress. ……展开更多
Prof. Zhang Jingzhong, a well-known Chinese mathematician, is now serving as the honorary director of the Chengdu Institute of Computer Application under the CAS and as an instructor for doctorate students.His outstan...Prof. Zhang Jingzhong, a well-known Chinese mathematician, is now serving as the honorary director of the Chengdu Institute of Computer Application under the CAS and as an instructor for doctorate students.His outstanding attainments in the field of mathematics and computer science include his pioneering work of enriching theories and methods in mechanized demonstration,the concept of "educational mathematics" and his meritorious service as a prolific popular science writer. On December I.1936, Prof.Zhang was born in a teacher’s family in Runan County,Henan Province.After successfully passing an entrance examination in 1954,展开更多
Studies the stability for them manifold of equilibrium state of the autonomous Birkhoffsystem. Uses the Liapunov's direct method and the first approximation method to obtain thestability criterion for the manifold...Studies the stability for them manifold of equilibrium state of the autonomous Birkhoffsystem. Uses the Liapunov's direct method and the first approximation method to obtain thestability criterion for the manifold of equilibrium state of the system. Gives an example toillustrate the application of the result.展开更多
文摘The day of May 12, 1989 is the 70 th birthday of Professor Wu Wen-tsn, an outstanding Ghinese mathematician, an internationally recognized topologist and a founder of Mechanized Mathematic. After long years of arduous research endeavors, Wu has made enormous achievements in various aspects, and won for himself an international reputation. Wu Wen-tsn was fomerly deputy direcor of Institute of Mathematies, Academia Sinica and then deputy directer of Institute of Systems Sciences, Acade-
文摘Ameeting to celebrate the 90th birthday of late Prof. L. K. Hua (1910-1985) was held on November 12, 2000 in Beijing. The meeting, jointly sponsored by the Chinese Academy of Sciences (CAS) and Chinese Association for Science and Technology (CAST), was attended by about 200 people from all walks of life.
文摘 The 24 International Congress of Mathematicians (ICM2002) was held from August 20 to 28 in Beijing. About 4,200 mathematicians from more than 100 countries participated in the quadrennial meeting orga nized by the Chinese Mathematics Society (CMS) under the auspices of the International Mathematical Union (IMU). The Chinese Academy of Sciences was among the eight sponsors of the Congress. ……
文摘Prof. Zhang Jingzhong, a well-known Chinese mathematician, is now serving as the honorary director of the Chengdu Institute of Computer Application under the CAS and as an instructor for doctorate students.His outstanding attainments in the field of mathematics and computer science include his pioneering work of enriching theories and methods in mechanized demonstration,the concept of "educational mathematics" and his meritorious service as a prolific popular science writer. On December I.1936, Prof.Zhang was born in a teacher’s family in Runan County,Henan Province.After successfully passing an entrance examination in 1954,
文摘Studies the stability for them manifold of equilibrium state of the autonomous Birkhoffsystem. Uses the Liapunov's direct method and the first approximation method to obtain thestability criterion for the manifold of equilibrium state of the system. Gives an example toillustrate the application of the result.
