2000

Books

1. T. Wu, Mathematics Mechanization.ence Press/Kluer Pub., 2000.
2. X. S. Gao and D. M., Wang (eds), Mathematics Mechanization and Appliucations, London: Academic Press, 2000.
3. X. S. Gao and D. M., Wang (eds), Computer Mathematics-Proc. of ASCM'2000, Singapore: World Scientific, 2000.
4. 刘木兰，Groebner基理论及应用，科学出版社，2000

Journal Papers

1. Zhexian Wan, Works on algebra done in ChineseAcademy of Sciences.ence in China (A), 30 (2000) 481-488. .
2. Zhexian Wan, Orthogonal matroids, Annals of Combinatorics, 4 (2000) 237-246.
3. Zhexian Wan, A simple proof of the formal duality of the Kerdock and Preparata Codes, Chinese Science Bulletin, 45 (2000)1279-1282.
4. J. Ge, S. Chou and X.S. Gao, Geometric Constraint Satisfaction Using Optimization Methods,Computer Aided Design, 31(2000)867-879.
5. X.S. Gao, Chou and Zhang, A Deductive Database Approach To Automated Geometry TheoremProvingand Discovering, J. Automated Reasoning, 25(2000)219-246.
6. X.S. Gao, Geometric Constraint Solving with Linkages, J. of Software, 11(2000) 1151-1158.
7. Hong Du, Zhuojun Liu, Changyan Di, On the construction of Algebraic-Geometric codes. Systems Science and Mathematical Sciences, 13(2000)260-264.
8. Zhuojun Liu and Dongdai Lin, A Class of Generalized Cyclic codes. Acta Mathematicae Applicatae Sinica, 16(2000)53-58.
9. Zhuojun Liu and Jinzhao Wu, Linear Strategy for Boolean Ring Based Theorem Proving. J. Comput. Sci .& Technol, 15(2000) 271-279.
10. Shi He and Fengmei Zou, Square and rhombus central configurations. Systems Science and Mathematical Science 13(2000)74-84.
11. T. Fujiwara, H. Suzuki and K. Wu, Noncommutative differential calculus and axial anomaly in Abelian lattice gauge theory,Nucl. Phys. B, 569(2000) 643-660
12. T. Fujiwara, T. Hayashi, H. Suzuki and K. Wu, Topologica lobstruction in Block-spin transformations,Phys. Lett. B, 488( 2000) 428-434
13. H.Y. Guo, K. Wu and W. Zhang, Noncommutative differential calculus on discrete Abelian groups and application, Commun. Theor. Phys., 34(2000 ) 245
14. H.Y. Guo, K. Wu, S.H. Wang, S.K. Wang and G.M. Wei, Noncommutative differential calculus approach to discrete symplectic scheme on regula lattice, Commun. Theor. Phys., 34(2000) 307.
15. T. Fujiwara, H. Suzuki and K. Wu, Application of noncommutative geometry on discrete space to anomaly, Gravitation and Cosmology(Moscow),6(2000)123.
16. Z.J.Zheng, K.Wu,S.K.Wang and J.X.Hu, Topological quantum field theory and crossing number,Math. Acta Sci., 20(2000)493-498.(in Chinese)
17. S.K. Wang An explicit description of axisymmetric vesicles in terms of elliptic function, Modern Physics Letters B,14 (2000) 1093-1098
18. 郑驻军、王世坤，吴可,胡建勋,拓扑量子场理论与相交指标，数学物理学报, 20(2000) 493-498.
19. Shikun Wang, An explicit description of axisymmetric vesicles in terms of elliptic function, Modern Physics Letters B, 14(2000)1093-1098.
20. Xinwen Wu, Parameters of the Codes over Affine Varieties.ence in China, 43(2000)141-148.
21. 刘木兰、周展飞、陈小明，密钥共享体制，科学通报，45(2000)897-907.
22. Hongbo Li. Vectorial equation-solving for mechanical geometry theorem proving.Journal of Automated Reasoning 25(2000)83-121.

Papers on Conference Proceedings

1. S.C. Chou, X.S.Gao, Z Liu, D Wang, D.M. Wang. Geometric Theorem Provers and Algebraic Equation Solvers, Mathematics Mechanization and Applications, Academic Press, London, 2000, 491 –503.
2. X.S.Gao, Search Methods Revisited, Mathematics Mechanization and Applications,Academic Press, London, 2000, 253 –268.
3. X.S.Gao, Conversion Between Implicit and Parametric Representation of Algebraic Varieties, Mathematics Mechanization and Applications, Academic Press, London, 2000,343 -362..
4. X.S. Gao, Order in Solving Polynomial Equations, Proc. ASCM’2000, World Scientific, 2000, 308-318.
5. X.S. Gao and W. Yang, Intelligent Dynamic Geometry, Proc. ATCM’2000, Thailand, 2000,162-171..
6. Hongbo Li. Doing geometric research with Clifford algebra. Clifford Algebras and Their Applications in Mathematical Physics ,Volume 1: Algebra and Physics, R. Ablamowicz and B. Fauser (eds.), Birkhauser Boston, 200,195-218.
7. Hongbo Li. The Lie model for Euclidean geometry. Algebraic Frames for the Perception_Action Cycle, G. Sommer, Y. Zeevi (eds.), Springer Berlin, LNCS 1888, 2000,115-133.
8. David Hestenes,Hongbo Li, Alyn Rockwood. An algebra of planes and simplices.Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, 2002,3-26.
9. Hongbo Li, David Hestenes, Alyn Rockwood,. Generalized homogeneous Coordinates for computational geometry. Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, 2000, 27-60.
10. Hongbo Li, David Hestenes, Alyn Rockwood. Spherical conformal geometry with geometric algebra. Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, 2000, 61-76.(
11. Hongbo Li, David Hestenes, Alyn Rockwood. A universal model for conformal geometries of Euclidean, spherical and double-hyperbolic spaces. Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg, 2000,77-104.
12. Hongbo Li, Gerald Sommer. Coordinate-free projective geometry for computer vision. In:Geometric Computing with Clifford Algebra, G. Sommer (ed.), Springer Heidelberg,2000,415-454.
13. Hongbo Li. Mechanical theorem proving in differential geometry, Mathematics Mechanization and Applications, X.-S. Gao and D. Wang (eds.), Academic Press, London, 2000,147-174..
14. Hongbo Li. Clifford algebra approaches to automated geometry theorem proving. Mathematics Mechanization and Applications, X.-S. Gao and D. Wang (eds.), Academic Press, London, 2000, 205—230.
15. Hongbo Li. Hyperbolic geometry. In: Advances in Geometric Algebra with Applications in Science and Engineering , E. Bayro-Corrochano and G. Sobczyk (eds.), Birkhauser Boston, pp. 2000,64-88.
16. Hongbo Li.Automated theorem proving. In: Geometric Algebra: A Geometric Approach to Computer Vision, Neural and Quantum Computing, Robotics and Engineering. E. Bayro-Corrochano and G. Sobczyk (eds.), Birkhauser, Boston, pp.2000,112-122.
17. Hongbo Li, Yihong W2u. Mechanical theorem proving in projective geometry with bracket algebra.Proc.ASCM 2000, Thailand., 2000,120-129.
18. Ziming Li,Greatest Common Right Divisors, Least Common Left Multiples, Subresultants of Ore Polynomials.Mathematics Mechanization and Applications, X.-S. Gao and D. Wang (eds.), Academic Press, London, . 2000, 297-324.
19. Ziming Li. Determinant Formulas ofInhomogeneous Linear Differential, Difference, and q-Difference Polynomials. Proc. of ASCM 2000，World Sci. pub, Singapore.,2000,224-248.
20. Dongdai Lin. I. Ajwa, P. Wang, Another Attempt for Parallel Computation of Characteristic Set.Proc.ASCM 2000, Thailand, 2000,63-66.
21. He Shi. Reduced Form of Yang-Mills Equations of SU(2) on R(2,2). Proc.ASCM 2000, Thailand, 2000,268-271.
22. Dingkang Wang. Zero Decomposition Algorithms for Systems of Polynomial Equations.Proc.ASCM 2000, Thailand. 2000, 67-70.
23. Wentsun Wu. Extension of Mathematics Mechanization Theory in Algebraic Case to Differential Case. Proc.ASCM 2000, Thailand, 2000,202-203.
24. Lihong Zhi, M. Noda. Approximate GCD of Multivariate Polynomials.Proc.ASCM 2000, Thailand, 2000,9-18.
25. Xinwen Wu, Paul H. Siegel, Fast Computation of Roots of Polynomials over Function Fields and Fast List Decoding of Algebraic Geometric Codes, The Proceedings of the 2000 IEEE International Symposium on Information Theory (ISIT'2000), Sorrento, Italy, 2000.
26. 陆佩忠、刘木兰，QF环上零维理想是线性递归阵列的零化理想的判别，密钥学进展-China Crypt12000, 科学出版社, 2000,11-16.
27. Zhexian Wan, Williams identity for linear codes over Galois rings, Numbers, Information and Complexity, ed. by I. Althofer et al., Kluwer Academic Publishers, 2000, 333-333.