|
2001
Books
林东岱、李文林、虞言林,数学与数学机械化,山东教育出版社,2001。
Journal Papers
- 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))
- Zhexian Wan and Jie Cui, A generalization of quaternary Goethals codes, Southeast Asian Bulletin of Mathematics, 25 (2001) 257-268.
- Zhexian Wan and Tungshan Fu, Multiset structures derived from vector spaces, Annals of Combinatorics, 5 (2001) 305-318.
- Y.F. Chen and X.S. Gao, Involutive Directions and New Involutive Divisions,Computers and Mathematics with Applications, 41(2001)945-956.
- X.S. Gao, L.Huang and K. Jiang, Geometric Constraint Solving with Geometric Transformation.ence in China ( F), 44(2001) 50-59.
- X.S. Gao and H.Chen, New Algorithms for the Perspective-Three-Point Problem, J. of Computer Science and Technology,16 (2001)194-207.
- X.S. Gao and K. Jiang, Geometric Constraint Solving with Conics, Chinese J. of Image and Graphics, 17 (2001)563-567.(in Chinese)
- 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.
- Hongbo Li,. Hyperbolic conformal geometry with Clifford algebra, International Journal of Theoretical Physics, 40(2001)79-91.
- Zming Li and Fritz Schwarz, Rational Solutions of Ricatti-Like Partial Differential Equations, J. of Symbolic Computation, 31(2001) 691-716
- H. Ma, Yujie Ma, The Classification of Homogeneous Surfaces in CH^2, Adv. in Math., 30 (2001) 329-339.
- M. Wang and Z. Liu, On polynomial automorphism identity sets and identity polynomials, Communications in Algebra, 29(2001)319-331.
- 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.
- H. Y. Guo, Y. Q. Li and K. Wu, A note on symplecti algorithm, Commun. Theor. Phys., 36(2001)11-18.
- 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.
- 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.
- T. Fujiwara, H. Suzuki and K. Wu, Topologica charge of lattice gauge theory, Prog. Theor. Phys., 105(2001) 789-807.
- 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
- S.K. Wang, Zhao Di ,The harmonic mappings on Kalhar manifolds,Chin. Ann. of Math, 22 (2001)1-6
- Xinwen Wu, The Codes with Fixed Minimum Distance and Better than the Gilbert-Varshamov Bound,Advances in Mathematics, 30(2001) 495-509. (in Chinese).
- 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
- 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.
- 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)
- 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.
- K.Jiang and X.S. Gao, 3D Geometric Constraint Solving with Conicoid,Proc. Inter. Conf. On CAD/CG '01, Kunming, 2001,25-32..
- Hongbo Li,. Trifocal tensors with Grassmann-Cayley algebra, Robot Vision, R. Klette et al.(eds.), Springer Berlin Heidelberg, 2001, 237-244.
- Li kai, Zhi Lihong, Matu-Tarow Noda,On the Construction of a PSE for GCD Computation. Computer Mathematics , World Scientific Press, 2001,76-81.
- W. Liao, D.D. Lin, OMEI: An Open Mathematical Engine Interface, Proc. of ASCM,Matsuyama, World Scientific, 2001.
- D.D.Lin, et al, IAMC Architecture and Prototyping: A Progress Report, Proc. ofISSAC'01, Eds B. Mourrain, ACM press, 2001, 337-344
- J. Liu and Z. Liu, The membership problem for ideals of binomial skew polynomial rings, Proc. ISSAC 2001, ACM Press, 2001.
- 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.
- M. Wang and Z. Liu, Remarks on Groebner Basis for Ideals under Composition, Proc. ISSAC 2001, ACM Press, 2001.
- D. Wang, D.D. Lin, A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields, 数学与数学机械化,济南:山东教育出版社,2001,138-172.
|