[1] 吴文俊著,李邦河编订.吴文俊全集:拓扑学卷Ⅰ.北京:科学出版社,2019.
[2] 吴文俊著,李邦河编订.吴文俊全集:拓扑学卷Ⅱ.北京:科学出版社,2019.
[3] 吴文俊著,李邦河编订.吴文俊全集:拓扑学卷Ⅲ——可剖形在欧氏空间中的实现问题.北京:科学出版社,2019.
[4] 吴文俊著,李邦河编订.吴文俊全集:拓扑学卷Ⅳ.北京:科学出版社,2019.
[5] 吴文俊著,高小山编订.吴文俊全集:数学机械化卷Ⅰ.北京:科学出版社,2019.
[6] 吴文俊著,高小山编订.吴文俊全集:数学机械化卷Ⅱ.北京:科学出版社,2019.
[7] 吴文俊著,高小山编订.吴文俊全集:数学机械化卷Ⅲ——数学机械化.北京:科学出版社,2019.
[8] 吴文俊著,高小山编订.吴文俊全集:数学机械化卷Ⅳ——几何定理机器证明的基本原理.北京:科学出版社,2019.
[9] 吴文俊著,高小山编订.吴文俊全集:数学机械化卷Ⅴ.北京:科学出版社,2019.
[10] 吴文俊著,李文林编订.吴文俊全集:数学史卷.北京:科学出版社,2019.
[11] 吴文俊著,李文林,高小山编订.吴文俊全集:博弈论、代数几何、图的平面嵌入卷.北京:科学出版社,2019.
[12] 吴文俊著,李文林编订.吴文俊全集:数学思想卷.北京:科学出版社,2019.
[13] 吴文俊.Menelaus定理. 哈尔滨:哈尔滨工业大学出版社,2016.
[14] Wen-Tsun Wu.Selected Works Wen-Tsun Wu.New York:World Scientific,2008.
[15] Wen-Tsun Wu.Mathematics Mechanization.New York:Science Press,2000.
[16] 吴文俊主编.世界著名数学家传记下集.北京:科学出版社,2003.
[17] 吴文俊主编.世界著名数学家传记上集.北京:科学出版社,2003.
[18] 吴文俊.数学机械化.北京:科学出版社,2003.
[19] 吴文俊著.吴文俊论数学机械化.山东:山东教育出版社,1996.
[20] Wen-Tsun Wu. Mechanical Theorem Proving in Geometries. New York:Springer-Verlag,1994.
[21] Wu Wen-Tsun .Rational Homotopy Type. New York:Springer-Verlag,1987.
[22] 吴文俊著.几何定理机器证明的基本原理:初等几何部分.北京:科学出版社,1984.
[23] 吴文俊主编.《九章算术》与刘徽.北京:北京师范大学出版社,1982.
[24] 吴文俊著.力学在几何中的一些应用.北京:人民教育出版社,1964.
[25] 吴文俊.数学机械化研究回顾与展望.系统科学与数学,2008(08):898-904.
[26] Wu Wen-tsun. On generalized Chern classes and Chern numbers of irreducible complex algebraic varieties with arbitrary singularities. Banach Center Publications,2007,76:239-242.
[27] Wu Wen Tsun,Gao Xiao-Shan. Automated reasoning and equation solving with the characteristic set method. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2006(05): 756-764.
[28] Wu Wen Tsun. On Winter's conjecture about central configurations, Computer Algebra and Geometric Algebra with Applications, 2005:1-4.
[29] Wu Wen-tsun. On a finite kernel theorem for polynomial-type optimization problems and some of its applications[P]. Symbolic and algebraic computation,2005
[30] Wu Wen-tsun. Inoubliables sourenirs de Rene Thom. Reue thom (1922-2002),2005:139-141.
[31] Wu Wen-tsun. On "Good" Bases of Algebraico-Differential Ideals, Differential Equations with Symbolic Computation, 2005: 343-350.
[32] Wu Wen-tsun. On “Good” Basis of Polynomial Ideals, DESC 2004 Seminar on Diff. Eqs. with Symb. Computation 2004:1-4.
[33] WU Wenjun. ON ALGEBRICO-DIFFERENTIAL EQUATIONS-SOLVING.Journal of Systems Science and Complexity,2004(02):153-163.
[34] 吴文俊.计算机时代的脑力劳动机械化与数学机械化.黑龙江大学自然科学学报,2003(02):1-9.
[35] Wu Wen-tsun. On constructive algebraic geometry, MM-Res. Preprints, 1998(16): 1-3.
[36] Wu Wen-tsun. Central configurations in planet motions and votex motions, MM-Res. Preprints, 1995(13): 1-14.
[37] WU Wen-tsun. On a finiteness theorem about problems involving inequalities.Systems Science and Mathematical Sciences,1994(03):193-200.
[38] Wu Wen-tsun.Some remarks on factorization and GCD of multivariate polynomials, MM-Res. Preprints, 1994(11): 1-14.
[39] 吴文俊,王定康.CAGD中代数曲面拟合问题.数学的实践与认识,1994(03):26-31.
[40] WU Wenjun. On a linear equations method of nonlinear polynomial equations-solving.Systems Science and Mathematical Sciences,1993(01):1-12.
[41] Wu Wen Tsun. On Surface-fitting problem in CAGD. MM-Res. Preprints, 1993(10): 1-10.
[42] Wu Wen Tsun. On problems involving inequalities. MM-Res. Preprints, 1992(7):1-13.
[43] 吴文俊.A REPORT ON MECHANICAL GEOMETRY THEOREM PROVING.Progress in Natural Science Communication of State Key Laboratories of China,1992(01):1-17.
[44] Wu Wen-tsun. On a finiteness theorem about optimization problems. MM-Res. Preprints,1992(8) 1-18.
[45] Wu Wen-tsun. On the char-set method and the linear equations method of non-linear polynomial equations-solving. in Proc. Intern. Workshop on Math. Mechanization,1992:101-109.
[46] Wu Wen-tsun. A mechanization method of equations-solving and theorem-proving. Adv. in Comp. Res., 1992 (6), 103-138.
[47] 吴文俊.On the construction of groebner basis of a polynomial ideal based on Riquier-Janet theory.Systems Science and Mathematical Sciences,1991(03):193-207.
[48] Wu Wen-Tsun. Mechanical theorem proving of differential geometries and some of its applications in mechanics. Journal of Automated Reasoning,1991(2):171–191.
[49] 吴文俊.On the chemical equilibrium problem and equations-solving.Acta Mathematica Scientia,1990(04):361-374.
[50] 吴文俊.On a projection theorem of quasivarieties in elimination theory.Chinese Annals of Mathematics,1990(02):220-226.
[51] 吴文俊.关于研究数学在中国的历史与现状——《东方数学典籍<九章算术>及其刘徽注研究》序言.自然辩证法通讯,1990(04):37-39.
[52] 吴文俊.On the foundation of algebraic differential geometry.Systems Science and Mathematical Sciences,1989(04):289-312.
[53] 吴文俊.A mechanization method of geometry and its applications Ⅳ.some theorems in planar kinematics.Systems Science and Mathematical Sciences,1989(02):97-109.
[54] Wu Wen-tsun. Some remarks on characteristic-set formation. MM-Res.Preprints,1989(3) 27-29.
[55] Wu Wen-tsun. On the generic zero and Chow basis of an irreducible ascending set. MM-Res. Preprints,1989(4):1-21.
[56] Wu Wen-tsun. On a projection theorem of quasi-varieties in elimination theory. MM-Res. Preprints,1989(4): 40-48. Also in Chinese Annals of Math.
[57] 吴文俊.A mechanization method of geometry and its applications Ⅲ.Mechanical proving of polynomial inequalities and equation-solving.Systems Science and Mathematical Sciences,1988(01):1-17.
[58] Wu Wentsün. On Chern numbers of algebraic varieties with arbitrary singularities. Acta Mathematica Sinica,1987,3(3).
[59] 吴文俊.On Chern Numbers of Algebraic Varieties with Arbitrary Singularities.Acta Mathematica Sinica,1987(03):227-236.
[60] 吴文俊.A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS——Ⅱ. CURVE PAIRS OF BERTRAND TYPE.Science Bulletin,1987(09):585-588.
[61] 吴文俊.A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS——Ⅰ. DISTANCES, AREAS,AND VOLUMES IN EUCLIDEAN AND NON-EUCLIDEAN GEOMETRIES.Science Bulletin,1987(07):436-440.
[62] Wen tsunWu. A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theorem-proving of differential geometries. Lecture Notes in Mathematics,1987,1255(1): 173-189.
[63] Wu Wen-tsun. Recent studies of the history of Chinese mathematics. in Proc. ICM 1986,Amer. Math. Soc.,1987, 1657-1667.
[64] Wu Wen-tsun. A zero structure theorem for polynomial-equations-solving and its applications. MM-Res.Preprints,1987(1):2-12.
[65] Wu Wen-tsun. Mechanical derivation of Newton's Gravitational Laws from Kepler's Laws. MM-Res. Preprints,1987(1): 53-61.
[66] 吴文俊.初等几何定理机器证明中的可约性问题.数学季刊,1987(02):19-20+1-18.
[67] 吴文俊.古今数学思想(摘要).辽宁师范大学学报(自然科学版),1986(S1):1-3.
[68] 吴文俊.几何学机械化方法及其应用——Ⅰ.距离、面积与体积.系统科学与数学,1986(03):204-216.
[69] Wu Wen-Tsun. ON THE PLANAR IMBEDDING OF LINEAR GRAPHS(CONTINUED).系统科学与数学,1986(01):23-35.
[70] 吴文俊.几何学机械化方法Ⅰ.初等几何.数学季刊,1986(01):1-14.
[71] 吴文俊.ON ZEROS OF ALGEBRAIC EQUATIONS——AN APPLICATION OF RITT PRINCIPLE.Science Bulletin,1986(01):1-5.
[72] Wu Wen-tsun. Some remarks on jet-transformations. Bull. Soc. Math. Belg. Sér. A,1986,38:409-414.
[73] 吴文俊.〈解方程器〉或〈SOLVER〉软件系统应用举例.数学的实践与认识,1986(03):1-11.
[74] 吴文俊.〈解方程器〉或〈SOLVER〉软件系统概述.数学的实践与认识,1986(02):32-39.
[75] 吴文俊.复兴构造性的数学.数学进展,1985(04):334-339.
[76] Wu Wen-Tsun. ON THE PLANAR IMBEDDING OF LINEAR GRAPHS.系统科学与数学,1985(04):290-302.
[77] Wu Wen-tsun. Chern classes on algebraic varieties with arbitrary singularities, in Several Complex Variables, Birkhausser Boston, Mass., 1984:247-249.
[78] Wu Wen-Tsun. Basic principles of mechanical theorem-proving in elementary geometries. J.Sys.Sci. & Math.Scis.,1984,4:207-235. Re-published in J. Automated Reasoning,1986,2: 221-252.
[79] Wu Wen-tsun. Some recent advance in mechanical theorem-proving of geometries. in Automated Theorem Proving: After 25 Years (Eds.W.W.Bledsoe & D.W. Loveland). Contemp. Math. AMS,1984,29: 235-242.
[80] Wu Wen-tsun. de Rham theorem from constructive point of view. in Proc 1981 Shanghai Symposium on Differential Geometry and Differential Equations,Science Press,Beijing,,1984: 497-528.
[81] 吴文俊.SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY.Acta Mathematica Scientia,1983(04):357-360.
[82] 吴文俊.TOWARD MECHANIZATION OF GEOMETRY——SOME COMMENTS ON HILBERT'S "GRUNDLAGEN DER GEOMETRIE".Acta Mathematica Scientia,1982(02):125-138.
[83] 吴文俊.ON CALCULABILITY OF I~*-MEASURE WITH RESPECT TO COMPLEX-UNION AND OTHER RELATED CONSTRUCTIONS.A Monthly Journal of Science,1980(03):185-188.
[84] Wu Wen-tsun. de Rham-Sulliven measure of spaces and its calculability. in Proc. Chern Symposium,1980:229-245.
[85] 吴文俊.初等微分几何的机械化证明.中国科学,1979(S1):94-102.
[86] 吴文俊.ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY.Science in China. Ser.A,1978(02):159-172.
[87] 吴文俊、王启明.THEORY OF I~*-FUNCTOR IN ALGEBRAIC TOPOLOGY I~*-FUNCTOR OF A FIBER SPACE.Science in China. Ser.A,1978(01):1-18.
[88] 吴文俊.初等微分几何的机械化证明.科学通报,1978(09):523-524.
[89] 吴文俊.代数拓扑I~*函子论——复形上I~*函子的具体计算与公理系统.中国科学,1977(03):195-209.
[90] Wu W T. Theory of I * -functor in algebraic topology. Effective calculation and axiomatization of I * -functor on complexes. Scientia Sinica,1976(19): 647-664.
[91] 吴文俊.代数拓扑的一个新函子.科学通报,1975(07):311-312.
[92] 吴文俊.关于通用不变外形式.数学学报,1975(04):263-273.
[93] 吴文俊.代数拓扑I函子论——纤维方的实拓扑.中国科学,1975(06):527-541.
[94] 吴文俊.THEORY OF I~*-FUNCTOR IN ALGEBRAIC TOPOLOGY——REAL TOPOLOGY OF FIBER SQUARES.Science in China. Ser.A,1975(04):464-482.
[95] 吴文俊.S_k型奇点所属的同调类.数学学报,1974(01):28-37.
[96] 吴文俊.线性图的平面嵌入.科学通报,1974(05):226-228.
[97] 吴文俊.集成电路设计中的一个数学问题.数学的实践与认识,1973(01):20-40.
[98] 吴文俊.代数簇上的陈省身示性系.数学进展,1965(04):395-401.
[99] 吴文俊.具有对偶有理分割的代数簇.数学进展,1965(04):402-409.
[100] Wu Wen-Tsun. On complex analytic cycles and their real traces. Scientia Sinica,1965(06):831-839
[101] Wu Wen-Tsun. On critical sections of convex bodies. Scientia Sinica,1965(12): 1721-1728.
[102] 吴文俊.On the Notion of Imbedding Classes.Science in China. Ser.A,1964(04):681-682.
[103] 吴文俊.On the Imbedding of Manifolds in a Euclidean Space(1).Science in China. Ser.A,1964(04):682-683.
[104] 吳文俊.On the Immersion of C~∞-3-Manifolds in a Euclidean Space.Science in China. Ser.A,1964(02):335-336.
[105] 吴文俊.A Theorem on Immersion.Scientia Sinica,1964(01):160.
[106] 吳文俊.ON THE IMBEDDING OF ORIENTABLE MANIFOLDS IN A EUCLIDEAN SPACE.Science in China Series A:Mathematics,1963(01):25-33.
[107] 吴文俊.欧氏空间中的旋转.数学进展,1963(01):96-97.
[108] 吴文俊、江嘉禾.ESSENTIAL EQUILIBRIUM POINTS OF n-PERSON NON-COOPERATIVE GAMES.Science in China. Ser.A,1962(10):1307-1322.
[109] 吴文俊.NOTES ON COMPLEX MANIFOLDS AND ALGEBRAIC VARIETIES Ⅰ. PLūCKER'S FORMULA.Science in China. Ser.A,1962(05):575-590.
[110] Wu Wen-juan; Li Pei-xen. The characteristic classes of certain real quadrics.Chinese Math,1962(3):218-231.
[111] Wu Wen Tsun. On a theorem of Leray. Chinese Math,1962(4):348-356.
[112] 吳文俊.活动受限制下的非协作对策.数学学报,1961(01):47-62.
[113] 吴文俊.ON THE ISOTOPY OF COMPLEXES IN A EUCLIDEAN SPACE Ⅰ.Science in China. Ser.A,1960(01):21-46.
[114] 吴文俊.复合形在欧氏空间中的同痕问题(Ⅰ).数学学报,1959(04):475-493.
[115] 吴文俊. 关于博弈理论基本定理的一个注记.科学记录,1959(06):179-181.
[116] Wu Wen-Tsün. Topologie combinatoire et invariants combinatoires. Colloquium Mathematicum,1959(1):1-8.
[117] Wu Wen Tsün. On certain invariants of cell-bundles. Sci. Record (N.S.),1959(04):137-142.
[118] Wu Wen Tsün. On the isotopy of a finite complex in a Euclidean space. I,II.Sci. Record (N.S.),1959(8):342-351.
[119] 吴文俊.ON THE REALIZATION OF COMPLEXES IN EUCLIDEAN SPACES Ⅱ.Science in China. Ser.A,1958(04):365-387.
[120] 吴文俊.ON THE REALIZATION OF COMPLEXES IN EUCLIDEAN SPACES I.Science in China. Ser.A,1958(03):251-297.
[121] 吴文俊.复合形在欧氏空间中的实现问题Ⅲ.数学学报,1958(01):79-94.
[122] Wu Wen Tsun. On the dimension of a normal space with countable basis. Sci. Record (N.S.),1958(02):65-69.
[123] Wu Wen-tsün. On the isotopy of Cr-manifolds of dimension n in euclidean (2n+1)-space. Sci. Record (N.S.),1958(2):271–275.
[124] 吴文俊.Smith运算与Steenrod运算的关系.数学学报,1957(02):235-241.
[125] 吴文俊.复合形在欧氏空间中的实现问题(Ⅱ).数学学报,1957(01):79-101.
[126] Wu Wen-tsün. On the relations between Smith operations and Steenrod powers. Fundamenta Mathematicae,1957,44
[127] Wu Wen Tsun. On the $Phi sb{(p)$-classes of a topological space.. Sci Record(N.S.),1957(01):377-380.
[128] Wu Wen Tsun. On the imbedding of polyhedrons in Euclidean spaces. Bull.acad.polon.sci.cl.iii,1956(04):573-577.
[129] 吳文俊.複合形在歐氏空間中的實現問题Ⅰ.数学学报,1955(04):505-552.
[130] 吳文俊.論Понтрягин示性類Ⅴ.数学学报,1955(03):401-410.
[131] 吳文俊.論Понтрягин示性類(Ⅳ).数学学报,1955(01):37-63.
[132] 吳文俊.一個H.Hopf推測的證明.数学学报,1954(04):491-500.
[133] 吳文俊.論ПОНТРЯГИН示性類,Ⅲ..数学学报,1954(03):323-346.
[134] 吴文俊.On Pontrjagin Classes Ⅰ.Science in China. Ser.A,1954(04):353-367.
[135] 吴文俊.有限可剖分空间的新拓扑不变量.数学学报,1953(04):261-290.
[136] 吴文俊.论понтрягин示性类Ⅰ..数学学报,1953(04):291-315.
[137] Wu Wen-tsun. ON SQUARES IN GRASSMANNIAN MANIFOLDS~*.Science in China. Ser.A,1953(02):91-115.
[138] Wu Wen-tsun. Sur les puissances de Steenrod. Colloque de Topologie de Strasbourg,1951, no. IX, 9pp. La Bibliothéque Nationale et Universitaire de Strasbourg,1952
[139] Wu Wen-Tsun. Les i-carres dans une variete grassmannienne. Comptes Rendus Hebdomadaires Des Seances De L Academie Des Sciences,1950(10):918-920.
[140] Wu Wen-tsun. Classes caractéristiques et i-carrès d'une variétè. C. R. Acad. Sci. Paris,1950, 230:508-511.
[141] Wu Wen-tsun. Sur la structure presque complexe d'une variétè différentiable réelle. C. R. Acad. Sci. Paris,1949,228: 972-973.
[142] Wu Wen Tsun. On the product of sphere bundles and the duality theorem modulo 2. Annals of Mathematics,1948(03): 641-653.
[143] Wu Wen-tsun. Sur L'existence d'un champ d'élèments de contact ou d'une structure complexe sur une sphére. C. R. Acad. Sci. Paris,1948,226:2117-2119.
[144] Wu Wen-tsun. Sur les classes caractéristiques d'un espace fibré en sphéres. C. R. Acad. Sci. Paris 1948, 227: 582-584
[145] Wu Wen-tsun. Sur le second obstacle d'un champ d'élèments de contact dans une structure fibrée sphérique. C. R. Acad. Sci. Paris,1948,227:815-817.
[146] Wu Wen-tsun. Sur la structure presque complexe d'une variétè différentiable réelle de dimension 4. C. R. Acad. Sci Paris,1948,227:1076-1078.
[147] Wu Wen Tsun. Topologie-note sur les produits essentiels symetriques des espaces topologiques. Comptes Rendus Hebdomadaires Des Seances De L Academie Des Sciences,1947(16): 1139-1141.