1. 吴文俊,数学机械化, 北京:科学出版社,2003.
  2. Zhexian Wan, Lectures on Finite Fields and Galois Rings, Singapore: World Scientific, 2003.
  3. Zhexian Wan, K.P. Shum and J.P. Zhang (eds), Advances in Algebra, Singapore: World Scientific, 2003.
  4. 王东明, 杨路, 支丽红等, 符号计算选讲, 北京:清华大学出版社, 2003.
  5. Ziming Li and W. Sit (eds),Computer Mathematics, Singapore: World Scientific, 2003.
  6. 胡作玄,石赫, 吴文俊之路, 上海:上海科学技术出版社,2003.


Journal Papers

  1. Guiqiang Chen, Banghe Li, Tianhong Li, Entropy solutions in L for the Euler equations in nonlinear elastodynamics and related equations. Arch. Ration. Mech. Anal.170(2003) 331-357.
  2. .Haibao Duan; Banghe Li, A problem of Kreck on Poincaré manifolds. Math. Z.245(2003)711-724.
  3. Banghe Li,, Smooth minimal genera for small negative classes, Topology Appl. 132 (2003) 1-15.
  4. Banghe Li, A method to solve algebraic equations up to multiplicities via Ritt-Wu’s characteristic sets, Acta Anal. Func. Appl., 5(2003) 97-109.
  5. Xiaoshan Gao, Implicitization for Differential Rational Parametric Equations, Journal of Symbolic Computation, 36(2003) 811-824.
  6. Xiaoshan Gao and Y. Chen,Involutive Characteristic Set of Partial Differential Polynomial Systems.ence in China (A), 33(2003), 97-113.
  7. Xiaoshan Gao,X.R.Houand J. Tang, Complete Solution Classification for the Perspective-
  8. Three-Point Problem, IEEE Trans. PAMI,25(2003) 930-943.
  9. Xiaoshan Gao,C.M. Hoffmann and W. Yang, Solving spatial basic geometric constraint configurations with locus intersection, Computer Aided Design, 36(2003) 111-122.
  10. Xiaoshan Gao, G. Zhang and W. Yang,Geometric Constraint Solving and Simulation of Complex Linkages, J. of CAD & CG, 15(2003) 517-522.(in Chinese)
  11. Hongbo Li,.Clifford algebra, geometric computing and reasoning. Chinese Adv. in Math. 32(2003) 405-415.
  12. Hongbo Li and Yihong Wu, Automated Theorem Proving in Projective Geometry with Cayley and BracketAlgebrasI. Incidence Geometry. J. of Symbolic Computation 36(2004) 717-762.
  13. Hongbo Li and Yihong Wu, Automated Theorem Proving in Projective Geometry with Cayley and Bracket Algebras II. Conic Geometry,J. of Symbolic Computation, 36(2003) 763-809.
  14. Zuojun Liu,J. W. Liu and M. S. Wang, Membership Problem of Binormal Skew Polynomial Ring, Communications in Algebra, 31(2003)1.
  15. Zuojun Liu,J. W. Liu and M. S. Wang, The Term Orderings Which Are Compatible with Composition(II), Journal of Symbolic Computation, 35(2003)1530168.
  16. Yujie Ma, H. Bai and J. P. Zhang, The coexponent of a finite p-group, Comm. Alg. 31(2003) 3497-3504.
  17. Ziming Li, Fritz Schwarz and Serguei Tsarev, Factoring Linear Partial Differential Systems with Finite-dimensional Solution Spaces. Journal of Symbolic Computation, 36(2003) 443-471.
  18. Mulan Liu and J. Li, Recommenal Underlying Fields of Elliptic Curve Cryptosystems, J. of Systems Science and information, 1(2003) 639-641.
  19. Mulan Liu,Regular points in system spaces, Linear Algebra and Applications 365 (2003) 201-213.
  20. Shengqing Liu and Lansun Chen,Necessary-sufficient conditions for permanence and extinction in Lotka-Volterra system with distribute delays, Applied Mathematics & Letters, 16 (2003) 911-917.
  21. Zhenya Yan, New families of non-travelling wave solutions to a new (3+1)-dimensional potential-YTSF equation, Phys. Lett. A, 318(2003)78.
  22. Zhenya Yan,Jacobi elliptic function solutions of nonlinear wave equations via the new sinh-Gordon equation expansion method, J. Phys. A: Math. Gen., 36(2003) 1961.
  23. Zhenya Yan, Painleve analysis, auto-Backlund transformations and exact solutions for a simplified model for reacting mixtures, Physica A,326(2003) 344.
  24. Zhenya Yan,The new extended Jacobian elliptic function expansion algorithm and its applications in nonlinear mathematical physics equations, Comput. Phys. Commun.,153(2003) 154.
  25. Zhenya Yan,Modified nonlinearly dispersive mK(m,n,k) equations: II. Jacobi elliptic function solutions, Comput. Phys. Commun., 153(2003) 1.
  26. Zhenya Yan,Modified nonlinearly dispersive mK(m,n,k) equations: I. new compacton solutions and solitary pattern solutions, Comput. Phys. Commun., 152 (2003) 25.
  27. Zhenya Yan,The Riccati equation with variable coefficients expansion algorithm to find more exact solutions of nonlinear differential equations, Comput. Phys. Commun.,152 (2003) 1.
  28. Zhenya Yan,New families of exact solitary patterns solutions for the nonlinearly dispersive R(m, n) equations, Chaos, Solitons & Fractals, 15(2003) 891 .
  29. Zhenya Yan,Generalized method and its application in the higher-order nonlinear Schrodinger equation in nolinear optical fibres, Chaos, Solitons & Fractals, 16(2003) 759.
  30. Zhenya Yan,Constructing exact solutions for two-dimensional nonlinear dispersion Boussinesq equation. II: Solitary pattern solutions, Chaos, Solitons & Fractals, 18(2003)869.
  31. Zhenya Yan,A sinh-Gordon equation expansion method to construct doubly periodic solutions for nonlinear differential equations, Chaos, Solitons & Fractals, 16(2003)291.
  32. Zhenya Yan,Two types of hierarchies of evolution equations associated with the extended Kaup-Newell spectral problem with an arbitrary smooth function, Chaos, Solitons & Fractals, 15(2003)639.
  33. Hong Du,Automorphism group of Lie algebra C(t) d/dt,J. Syst. Sci. & Complexm, 16 (2003) 209-212.
  34. Ke Wu, X. H. Wang, S. M. Fei, Z. X. Wang, Canonical form and seperability of PPT states in C2×CM×CN composite quantum systems, Inter. J. of Quantum Information, 1 (2003) 1-11.
  35. Ke Wu, B.Zhou, H.Y. Guo, General volume –preserving mechanical systems, Lett. Math. Phys, 64 (2003) 235-243.
  36. Wu Ke, B.Zhou, H.Y. Guo, General volume –preserving mechanical systems via cohomology, Commun. Theor. Phys., 40 (2003) 595-600.
  37. Ke Wu, S. M. Fei, X.H. Gao, X. H. Wang and Z. X. Wang, Canonical form and seperability of PPT states in C2×CM×CN composite quantum systems, Commun. Theor. Phys., 40 (2003) 515-518.
  38. Ke Wu, S. M. Fei, X.H. Gao, X. H. Wang and Z. X. Wang,Seperability of rank two quantum states on multiple quantum spaces with different dimensions, Inter. J. of Quantum Information, 1 (2003) 37-49.
  39. Ke Wu, S. M. Fei, X.H. Gao, X. H. Wang and Z. X. Wang, Separability of rank-two quantum states in CM×CN composite quantum systems, Commun. Theor. Phys., 39 (2003) 525-528.
  40. Ke Wu,J. B. Chen, H. Y.Guo, Total variation in Hamiltonian formalism and symplectic-
  41. energy integrators, J. Math. Phys., 44(2003)1688-1702.
  42. Xinwen Wu, M. Kuijper, P. Udaya, Lee-metric decoding of BCH and Reed-Solomon codes, Electronics Letter,39(2003)1522-1525.
  43. Hong Du, A Geometric Approach to dimS^1_2(Delta_MS). AMS/IP Studies in Advanced Mathematics, 34( 2003) 67-70.
  44. 蒋鲲,朱长才,高小山, 参数化CAD模型中参数的有效范围, 计算机辅助设计与图形学学报,15(2003)1016-1020.
  45. 蒋鲲,高小山,岳晶岩, 参数化模型欠、过和完整约束的判定算法, 软件学报, 14(2003) 2100-2105.
  46. X.H. Wang, S.M. Fei,, Z.X. Wang and K. Wu, Canonical from and sperability ofPPT states in C2×CM×CN composite quantum systems, Inter. J. of Quantum Information, 1(2003)337-347.
  47. H. Y. Guo, Jianzhong Pan and Ke Wu, The Euler-Lagrange Cohomology and General Volume-Preserving Systems,Mod. Phys. Lett. A, 18(2003)1911-1924.
  48. Qikeng Lu, Shikun Wang and Ke Wu, Global solutions of Einstein-Dirac equation on conformal space, Asian J. Math., 7(2003)1-26.
  49. Zhen Liu,Yongquan Bai, Q.S.Li and Ke Wu, Sympleatic and multisymplectic schemes with the simple finite element method, Phys. Lett. A, 314(2003)443-455.
  50. Hanying Guo and Ke Wu, On variations in discrete mechanics and field theory, J. Math. Phys., 44(2003)5978-6004.
  51. J.B.Chen, H.Y.Guo and Ke Wu, Discrete mechanics and the finite element method, Archive of Applied Mechanics, 73(2003)421-433.
  52. Xinwen Wu, Margreta Kuijper and Parampalli Udaya, Lee-metric decoding of BCH and Reed-Solomon codes, IEE Electronics Letters, 39(2003)1522-1524.
  53. R. Pellikaan and X.W. Wu, List Decoding of q-ary Reed-Muller Codes, IEEE Tras. On Information Theory, 50(2003) 679-682.
  54. Yang Han, Mulan Liu, Regular points in system space, Linear Algebra and its Applications, 365(2003)201-213.
  55. Zuowen Tan, Zhuojun Liu, Chunming Tang, A proxy blind signature scheme based on DLP,
    Journal of Software, Vol.14, No. 11, 2003, 1931 – 1935.


Papers on Conference Proceedings

  1. Zexian Wan, Moor-Penrose generalized inverses of matrices over division rings with involutions, Advances in Algebra, Proceedings of the ICM Satellite Conference in Algebra and Related Topics, K. P. Shum et al.(eds), World Scientific, Singapore, 2003, 244-250.
  2. Shikun Wang and Hui-Ping Zhang,A Hadamard Theorem on Algebraic Curves,Proceeding of InternationalConference of Geometric Function in Several Complex Variables,World Scientific Press,2003.
  3. Lijhong Zhi, G.Reid, F..Lemair, J. Bonasia, Determination of approximate symmetries of differential equations. Workshop on Group Theory and Numerical Analysis,Montreal, AMS, Canada, 2003.
  4. Lihong Zhi, G. Reid, J.Tang, A complete symbolic-numeric linear method for camera pose determination, Proc. of the 2003 International Symposium on Symbolic and Algebraic Computation, Scotland, ACM Press, 2003, 215-223.
  5. Lihong Zhi,Displacement structure in computing the approximate GCD of univariate polynomials, : Computer Mathematics III, Z. Li and W. Sit (eds), 2003, 288-298.
  6. Hongbo Li and Ying Chen, A bracket method for judging the intersection of convex bodies.Computer Mathematics, Z. Li and W. Sit (eds), World Scientific, 2003, 227-239.
  7. Hongbo Li,Clifford Algebras and Homogeneous Geometric Models. Some Problems on the Protein Structure Analysis. CCAST-WL Workshop Series 147, H. Guan et al (eds), 2003, 91-121.
  8. Zuojun Liu, Tang, C .M., Wang, M. S,Zero-knowledge proof system vs asymmetric cryptosystem, symmetric cryptosystem, First Mian International Conference on Applied Cryptography and Network Security, Kunming, China, 2003.
  9. Xinwen Wu, M. Kuijper, P. Udaya, A Lee-metric decoding algorithm for Reed-Solomon codes over GF(p),Proceedings of the 7th International Symposium on Digital Signal Processing and Communication Systems, Cold Coast, Australia, 2003, 8-11.
  10. Xiaoshan Gao, G. Zhang, Classification and Solving of Merge Patterns in Geometric Constraint Solving, Proc. Shape Modeling and Applications, SeoulKorea, IEEE press, 2003, 89-90.
  11. Xiaoshan Gao, G. Zhang, Geometric Constraint Solving via C-tree Decomposition, ACMSM03, Seattle, USA, ACM Press, New York, 2003, 45-55.
  12. Xiaoshan Gao and D. K. Wang, Zero Decomposition Tree for Counting the Number of Solutions for Algebraic Parametric Equation Systems, Computer Mathematics III, Z. Li and W. Sit (eds), World Scientific, Singapore, 2003,130-145.
  13. Xiaoshan Gao, K. Jiang and Jing-Yan Yue, Geometric Constraint Solving with DM-decomposition, Proc. 8th International Conference on CAD/Graphics, Enhua Wu, Hanqiu Sun, Dongxu Qi(eds.), Welfare Printing Limited (Macau), 2003, 240-250.
  14. 刘卓军, 唐春明, 对小额电子支付方案的改进, 中国计算机大会,北京, 2003.
  15. 刘卓军,杨宏,林东岱, 基于面向对象技术的无穷精度数系统的研制与开发,中国计算机大会, 北京, 2003
  16. 刘木兰, 肖亮亮. 线性多密钥共享体制,中国计算机学会信息保密专业委员会论文集,13(2003)303-317.