吴文俊著作中国科学院 2017-05-08 |
1. Sur les espaces fibrés et les variétés feuilletées, Actualités Sci. Ind., No. 1183=Publ. Inst. Math. Univ. Strasbourg 11, Hermann & Cie, Paris (1952).
2. Some applications of mechanics in geometry, (in Chinese), Chinese Youth Press, 1962.
3. A theory of imbedding, immersion, and isotopy of polytopes in a euclidean spacd. Science Press, Beijing (1965). Chinese version with an Appendix: The layout problem of printed circuits and integrated circuits, Science Press, Beijing, (1978).
4. "Nine Chapters in Arithmetic" and Liu Hui, (in Chinese, ed.), Beijing Normal University Press, Beijing, 1981.
5. Proceedings of the 1980 Beijing symposium on differential geometry and differential equations(co-editor with S. S. Chern), Science Press, Beijing, 1982.
6. B asic principles of mechanical theorem proving in geometries (Part on elementary geometries), (in Chinese, ed.), Science Press, Beijing (1984). English translation by D. M. Wang et al, Springer (1994).
7. On triangles with two equal bisectors, (in Chinese, ed. with X.L. Lü), People's Education Press, Beijing (1985).
8. Sellected works of Wu Wen-tsün, (in Chinese, ed.), Shandong science and Technology Press, Jinan, 1987.
9. Rational homotopy type --- A constructive study via the theory of the I*-measure, Lect. Notes in Math., No. 1264, Springer Verlag, Berlin (1987).
10. Historical studies on ``Mathematical Treatise in Nine-Chapters (Shu-Shu-Jiu-Zhang)'' (in Chinese, ed.), Beijing Normal University Press, Beijing, 1987.
11. New developments of today mathematics --- a collection of articles on Liu Hui seminar of mathematics (in Chinese, ed.), Anhui Science and Technology Press, Hefei, 1988.
12. Chinese Mathematics onto the 21st Century, (Ed. with Cheng Min-de), Peking University Press, Beijing, 1991.
13. Computer Mathematics, (Proc. Special Program at Nankai Inst. of Math. in Tianjin 1991, Ed. with Hu Guoding), World Scientific, Singapore, 1993.
14. Proc. 1992 International Workshop on Mathematics Mechanization in Beijing, (Ed. with Cheng Min-de), Intern. Acad. Publishers, Beijing, 1992.
15. Studies on Liu Hui, (in Chinese, ed. with Bai Shangshu, Li Di and Shen Kangshen), Shanxi People's Education Press and Nine-Chapters Press, 1993.
16. Wu Wentsün on Mathematics Mechanization, (in Chinese), Shangdong Education Press, Shangdong, 1996.
17. Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving. Springer Netherlands, 2001
18. 吴文俊,《数学机械化》,科学出版社, 2003.
19. 吴文俊,《 Menelaus 定理》 , 哈尔滨工业大学出版社 , 2016.
责任编辑:王超
上一篇:吴文俊:为现代数学开拓新天地
下一篇:吴文俊所获奖励与荣誉
最新文章
-
为何太阳系所有行星都在同一平面上旋转?
新浪科技 2021-09-29
-
我国学者揭示早期宇宙星际间重元素起源之谜
中国科学报 2021-09-29
-
比“胖五”更能扛!我国新一代载人运载火箭要来了
科技日报 2021-09-29
-
5G演进已开始,6G研究正进行
光明日报 2021-09-28
-
“早期暗能量”或让宇宙年轻10亿岁
科技日报 2021-09-28
-
5G、大数据、人工智能,看看现代交通的创新元素
新华网 2021-09-28