2001

Books

林东岱、李文林、虞言林，数学与数学机械化，山东教育出版社，2001。

Journal Papers

1. Zhexian Wan, The geometricity of lattices generated by orbits of subspaces under finite classical groups, Journal of Algebra, 243 (2001) 339-359. (with (Yuanji Huo))
2. Zhexian Wan and Jie Cui, A generalization of quaternary Goethals codes, Southeast Asian Bulletin of Mathematics, 25 (2001) 257-268.
3. Zhexian Wan and Tungshan Fu, Multiset structures derived from vector spaces, Annals of Combinatorics, 5 (2001) 305-318.
4. Y.F. Chen and X.S. Gao, Involutive Directions and New Involutive Divisions,Computers and Mathematics with Applications, 41(2001)945-956.
5. X.S. Gao, L.Huang and K. Jiang, Geometric Constraint Solving with Geometric Transformation.ence in China ( F), 44(2001) 50-59.
6. X.S. Gao and H.Chen, New Algorithms for the Perspective-Three-Point Problem, J. of Computer Science and Technology,16 (2001)194-207.
7. X.S. Gao and K. Jiang, Geometric Constraint Solving with Conics, Chinese J. of Image and Graphics, 17 (2001)563-567.(in Chinese)
8. Xiaorong Hou, Hongbo Li, Dongming Yang, Lu Yang,. Russian killer No. 2: a challenging geometric theorem with machine vs. human proofs. Math. Intelligencer 23(2001)9-15.
9. Hongbo Li,. Hyperbolic conformal geometry with Clifford algebra, International Journal of Theoretical Physics, 40(2001)79-91.
10. Zming Li and Fritz Schwarz, Rational Solutions of Ricatti-Like Partial Differential Equations, J. of Symbolic Computation, 31(2001) 691-716
11. H. Ma, Yujie Ma, The Classification of Homogeneous Surfaces in CH^2, Adv. in Math., 30 (2001) 329-339.
12. M. Wang and Z. Liu, On polynomial automorphism identity sets and identity polynomials,Communications in Algebra, 29(2001)319-331.
13. H.Y. Guo, Y.Q. Li and K. Wu, On symplectic and multisymplectic structures and their discrete versions in Lagrangian formalism, Commun. Theor.Phys., 35(2001)703-710.
14. H. Y. Guo, Y. Q. Li and K. Wu, A note on symplecti algorithm, Commun. Theor. Phys., 36(2001)11-18.
15. H.Y. Guo, X.M. Ji, Y.Q. Li and K. Wu, A note on symplectic and multisymplectic scheme in finite element method, Commun. Theor. Phys., 36(2001) 259-262.
16. Q.K. Lu, S.K. Wang and K. Wu, Global solutions of Einstein-Dirac equation on conformal space,Commun. Theor. Phys., 36(2001) 129-130.
17. T. Fujiwara, H. Suzuki and K. Wu, Topologica charge of lattice gauge theory, Prog. Theor. Phys., 105(2001) 789-807.
18. S.K. Wang, K. Wu, X.N. Wu and D.L. Yu ,The q deformation of AKNS-D hierarchy, J. Phys. A: Math. Gen., 34(2001)9641-9651
19. S.K. Wang, Zhao Di ,The harmonic mappings on Kalhar manifolds,Chin. Ann. of Math, 22 (2001)1-6
20. Xinwen Wu, The Codes with Fixed Minimum Distance and Better than the Gilbert-Varshamov Bound,Advances in Mathematics, 30(2001) 495-509. (in Chinese).
21. Xinwen Wu and Paul H. Siegel, Efficient Root-Finding Algorithm with Application to List Decoding of Algebraic-Geometric Codes, IEEE Transactions on Information Theory, 47(2001)2579-2587.

Papers on Conference Proceedings

1. S.C. Chou and X. S. Gao, Automated reasoning in geometry, Handbook of Automated Reasoning, (eds. A. Robinson and A. Voronkov), Elsevier, Amsterdam, 2001,709--749.
2. X. S. Gao, D, Lin, and H. Shi, Mathematics Mechenizatio and Mechenized Mathematics, Modern Mathematics Handbook- Computer Mathemtaics, L. Xu (ed.), Univ. of Huazhong Sci. and Tech., Wuhan, China, 2001, 727-778.(in Chinese)
3. X.S. Gao, L. Huang, and K, Jiang, A Hybrid Method for Solving Geometric Constraint Problems,Aufomated Deduction in Geometry,L. Richter-Gebert and D. Wang (eds), LNAI 2061, Springer-Verlag, Berlin Heidelberg, 2001.
4. K.Jiang and X.S. Gao, 3D Geometric Constraint Solving with Conicoid,Proc. Inter. Conf. On CAD/CG '01, Kunming, 2001,25-32..
5. Hongbo Li,. Trifocal tensors with Grassmann-Cayley algebra, Robot Vision, R. Klette et al.(eds.), Springer Berlin Heidelberg, 2001, 237-244.
6. Li kai, Zhi Lihong, Matu-Tarow Noda，On the Construction of a PSE for GCD Computation.Computer Mathematics , World Scientific Press, 2001,76-81.
7. W. Liao, D.D. Lin, OMEI: An Open Mathematical Engine Interface, Proc. of ASCM,Matsuyama, World Scientific, 2001.
8. D.D.Lin, et al, IAMC Architecture and Prototyping: A Progress Report, Proc. ofISSAC'01, Eds B. Mourrain, ACM press, 2001, 337-344
9. J. Liu and Z. Liu, The membership problem for ideals of binomial skew polynomial rings, Proc. ISSAC 2001, ACM Press, 2001.
10. Y. Ma and X.S. Gao, Polynomial Solutions of Algebraic Differential Equations, in Computer Mathematics, Proc. of ASCM 2001, K. Shirayanagi and K. Yokoyama (eds), World Scientific, Singapore, 2001, 92-101.
11. M. Wang and Z. Liu, Remarks on Groebner Basis for Ideals under Composition, Proc. ISSAC 2001, ACM Press, 2001.
12. D. Wang, D.D. Lin, A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields, 数学与数学机械化，济南：山东教育出版社，2001,138-172.