外文专著
Mathematica, A System for Doing Mathematics and Computer, Stephen Wolfram, Second Edition, Addison-Wesley Publishing Company, Inc.1991.
The Mathematica Book, Stephen Wolfram, Prerelease Version Beta 3 For Mathematica Beta Testers Only, Wolfram Media, Inc. 1996.
Axiom, The Scientific Computation System, Richard D. Jenks and Robert S. Sutor, 1992.
Reduce 3.4, Koonrad-Zuse-Zentrum Berlin, Heilbronner Str. 10, 1000 Berlin 31, Germany.
The C^*-algebras of a class of solvable Lie groups, Xuaolu Wang, (Pitman Research)
Notes in Mathematics Series, Vol. 199) Longman Scientific Technical, 1989.
Understanding Nonlinear Dynamics, Daniel Kapland and Leon Glass,(Testbooks in Mathematical Sciences) Springer-Verlag, 1995.
Polynomials and Polynomial Inequalities, Peter Borwein and Tamas Erdelyi, (Graduate Texts in Mathematics), Springer-Verlag, 1995.
Subharmonic Functions, Tibor Rado, 1949.
Convex Analysis, R. Tyrrell Rockafellar, Princeton University Press, 1972.
Topological Dynamics, W. H. Gottschalk and G.A. Hedlund, American Mathematical Society Colloquium Publications, Vol. XXXVI1955.
Recent Progress in Analytic Number Theory, Vol.1, H. Halberstam and C. Hooley, Academic Press, 1981.
Recent Progress in Analytic Number Theory, Vol.2, H. Halberstam and C. Hooley, Academic Press, 1981.
Normed Linear Spaces, Mahlon M. Day, Springer-Verlag, 1958.
Banach Spaces of Analytic Funtions, Kenneth Hoffman, Prentice-Hall, Inc, 1962.
Primzahlverteilung, Karl Prachar,Springer-Verlag,1957.
Almost Periodic Funtions, Harald Bohr, (text translated by Harvey Cohn, Appendix translated by F. Steinhardt) Chelsea Publishing Company,, 1947.
Mordern Theory of Integration, H. Kestelman, M.Sc, London, 1937.
The Open Mapping and Closed Graph theorems in Topological vecte Spaces, Taqdir Husain, Oxford at the Clarendon Press, 1965.
Martingale Spaces and Inequalities, Ruilin Long, Peking University and Vieweg Publishing. 1993.
Transcendental Numbers, C.L. Siegel, (Annals of Mathematics Studies, No. 16) Princeton University Press, 1949.
A Mathematician and His Mathematical Work, Selected Papers of S.S. Chern, S.Y. Cheng, P. Li and G. Tian Ed. World Scientific, 1996.
Mathematics Mechanization, Wu Wen-tsun, ( Mathematics and Its Applications, Vol. 489)Science Press/Kluwer Academic Publishers,2000.
Mordern Computer Algebra, Joachim von zur Gathen and Jurgen Gerhard, Cambrage University Press, 1999.
Slected Works of Ellis Kolchin With Commentary, H. Bass, A. Buium and P.J. Cassidy Ed. American Mathematical Society, 1999.
Mathematics Mechanization and Applications, Xiao-Shan Gao and Dongming Wang Ed. Academic Press, 2000.
Polynomial Algorithms in Computer Algebra, F. Winkler, Springer-Verlag/Wien, 1996.
Algorithms in Invariant Theory, B. Sturmfels, Springer-Verlag/Wien, 1993.
Advances in the Design of Symbolic Computation Systems, A. Miola and M. Temperini Eds., Springer-Verlag/Wien, 1997.
Quantifier Elimination and Cylindrical Algebraic Decomposition, B.F. Caviess and J.R. Johnson Eds., Springer-Verlag/Wien, 1998.
Geometric Modeling Methods and Applications, H. Hagen and D. Roller Eds., Springer-Verlag, 1991.
Reliability of Computer and Communication Networks, F. Roberts, F. Hwang and C.Monma, Eds., ACM Press, 1989.
Differential Algebraic Groups, E. R. Kolchin, Academic Press Inc. 1985
Differential Algebra and Algebraic Groups, E. R. Kolchin, Academic Press Inc. 1973
会议论文集
EUROCAM'82 Lecture Notes in Computer Science 144. Computer Algebra, Jacques Calmet Ed. Springer-Verlag,1982.
EUROCAL'83 Lecture Notes in Computer Science 162. Computer Algebra, G.Goos and J. Hartmanis Ed. Springer-Verlag,1983.
EUROSAM'84 Lecture Notes in Computer Science 174. Computer Algebra, G.Goos and J. Hartmanis Ed. Springer-Verlag,1984.
EUROCAL'85(I) Lecture Notes in Computer Science 174. Computer Algebra, G.Goos and J. Hartmanis Ed. Springer-Verlag,1985.
EUROCAL'85(II) Lecture Notes in Computer Science 174. Computer Algebra, G.Goos and J. Hartmanis Ed. Springer-Verlag,1985.
EUROCAL'87 Lecture Notes in Computer Science 378. Computer Algebra, J.H. Davenport Ed. Springer-Verlag,1987.
SYMSAC 71(I) Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation,S.R. Petrick Ed. 1971.
SYMSAC 71(II) Proceedings of the Second Symposium on Symbolic and Algebraic Manipulation,S.R. Petrick Ed. 1971.
SYMSAC 76 Proceedings of the 1976 ACM Symposium on Symbolic and Algebraic Computation, R.D. Jenks Ed. 1976.
SYMSAC 81 Proceedings of the 1981 ACM Symposium on Symbolic and Algebraic Computation, P.S. Wang Ed. 1981
SYMSAC 86 Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation, B.W. Char Ed. 1986
SYMSAC 88 Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation, B.W. Char Ed. 1988
ISSAC'88(I) Proceedings of the International Symposium on Symbolic and Algebraic Computaion, Lecture Notes in Computer Science 358(Symbolic and Algebraic Computation), P. Gianni Ed. 1988.
ISSAC'88(II) Proceedings of the International Symposium on Symbolic and Algebraic Computaion, Lecture Notes in Computer Science 358(Symbolic and Algebraic Computation), P. Gianni Ed. 1988.
ISSAC'89(I) Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computaion, ACM Press, 1989.
ISSAC'89(II) Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computaion, ACM Press, 1989.
ISSAC'90 Proceedings of the International Symposium on Symbolic and Algebraic Computaion, ACM Press, 1990.
ISSAC'91 Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computaion, S.M. Watt Ed. ACM Press, 1991.
ISSAC'92 Proceedings of the International Symposium on Symbolic and Algebraic Computaion, P.S. Wang Ed. ACM Press, 1992.
ISSAC'93 Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computaion, M. Bronstein Ed. ACM Press, 1993.
ISSAC'94 Proceedings of the International Symposium on Symbolic and Algebraic Computaion, ACM Press, 1994.
ISSAC'96 Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computaion, Lakshman Y.N. Ed. ACM Press, 1996.
ISSAC'97 Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computaion, W.W. Kuchlin Ed. ACM Press, 1997.
ISSAC'98 Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computaion, O. Gloor Ed. ACM Press, 1998.
ISSAC'99 Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computaion, S. Dooley Ed. ACM Press, 1999.
Contemporary Mathematics Vol. 29(I), Automated Theorem Proving: After 25 Years,W.W. Bledsoe and D.W. Loveland, Ed. American Mathematical Society, 1984.
Contemporary Mathematics Vol. 29(II), Automated Theorem Proving: After 25 Years,W.W. Bledsoe and D.W. Loveland, Ed. American Mathematical Society, 1984.
Lecture Notes in Computer Science 1122, Algorithmic Number Theory, H. Cohen Ed.,Springer, 1996.
Proceedings of ADG 2000, The Third International Workshop on Automated Deduction in Geometry, H. Richter-Gebert and Dongming Wang, Eds. 2000.
Proceedings of Nankai Institute of Mathematics, Computer Mathematics, Wen-Tsun Wu and Guo-Ding Hu, Eds. Word Scientific, 1991.
Proceedings of the Fourth Asian Technology Conference in Mathematics, Wei-Chi Yang, Dongming Wang, Sung-Chi Chu and Gary Fitz-Gerald Eds., ATCM, Inc., 1999.
Proceedings of the Third Asian Technology Conference in Mathematics, Wei-Chi Yang, K. Shirayanagi, Sung-Chi Chu and Gary Fitz-Gerald Eds., Springer, 1998.
Proceedings of Asian Symposium on Computer Mathematics, He Shi and H. Kobayashi Eds., Scientists Incorporated, 1995.
Proceedings of Asian Symposium on Computer Mathematics, H. Kobayashi Ed., Scientists Incorporated, 1996.
Proceedings of Asian Symposium on Computer Mathematics, Zhibin Li Eds. Lanzhou University Press, 1998.
Proceedings of the Sixth Rhine Workshop on Computer Algebra, J. Calmet Ed., 1998.
Proceedings of the 1992 International Workshop on Mathematics Mechanization, Wu Wen-Tsun and Cheng Min-de Ed., International Academic Publishers,July 16-18, 1992.
Proceedings of Asina Symposium on Computer Mathematics《亚洲计算机数学研讨会》, He Shi and Hidetsune Kobayashi Ed. Scientists Incorporated, 1995
外文杂志
Journal of Automated Reasoning
1985 Vol.1, No. 1
1996 Vol. 16, No. 1,2,3
Vol. 17, No. 1,2,3
1997 Vol. 18, No. 1,2
Vol. 19, No. 1,2,3
1998 Vol. 20, No. 3
Vol. 21, No. 1,3
1999 Vol. 22, No. 1,2,3,4
Vol. 23, No. 1,2,3,4
2000 Vol. 24, No. 1,2,3,4
Vol. 25, No. 1,2
Journal of Symbolic Computation
1985 Vol. 1, No. 1,2,3,4
1986 Vol. 2, No. 1,2,3,4
1987 Vol. 3,4, No. 1,2,3
1988 Vol. 5,6, No. 1,2,3
1989 Vol. 7,8, No. 1,2,3,4,5,6
1990 Vol. 9, No. 1,2,3,4,5,6
Vol. 10, No. 1,2,5,6
1991 Vol. 11, No. 1,2,3,4
Vol. 12, No. 1,2,3,4,5
1992 Vol. 13,14, No. 1,2,3,4,5,6
1993 Vol. 15, No. 1,2,3,5,6
Vol. 16, No. 1,2,3,4,5,6
1994 Vol. 17, No. 1,2,3,4,5
Vol. 18, No. 1,2,4,5,6
1995 Vol. 19,20, No. 1,2,3,4,5,6
1996 Vol. 21,22, No. 1,2,3,4,5,6
1997 Vol. 23, No. 1,2,3,4,5,6
Vol. 24, No. 1,3,4,5,6
1998 Vol. 25,26, No. 1,2,3,4,5,6
1999 Vol. 27,28, No. 1,2,3,4,5,6
2000 Vol. 29, No. 1,2,3,6
Vol. 30, No. 2
影印书目
Automated Theorem Proving: After 25 Years, W.W. Bledsoe and D.W. Loveland Ed. American Mathematical Society, Contemporary Mathematics, Vol. 29.
中文书目
计算的复杂性，（走向数学丛书） 王则柯，湖南教育出版社 1990。
多复变数解析函数，C.L. 齐格尔著，龚升译，科学出版社 1960.
多元函数（上册）， [美] W.弗列明 著，庄亚栋 译，人民教育出版社 1981。
非线性发展方程， 李大潜，陈韵梅 著， 科学出版社 1989。
CJCAI 90, 中国人工智能 90，（第一届中国人工智能联合学术会议论文集）， 吉林大学出版社， 1990。