首页| English| 中国科学院
当前位置：首页>新增>Publications from KLMM>2006

2006

副标题：

时间：2016-01-14  来源：

2006

 

Books

  1. 高小山，王定康等，《方程求解与机器证明－基于MMP的问题求解》，科学出版社，2006.
  2. X.S. Gao and D. Micheluchi (eds), “Geometric Constraints”, IJCGA Vol. 16 No. 5 and 6, World Scientific, 2006.
  3. Dongming Wang and Lihong Zhi (eds): “Symbolic-Numeric Computation”, Birkhauser, Basel, 2006

 

Journal Papers

  1. W.T. Wu and X.S. Gao, Automated Reasoning and Equation Solving with the Characteristic Set Method, Journal of Computer Science and Technology, 21, 756-764, 2006. (SCI)
  2. E.W. Chionh, X.S. Gao and L.Y. Shen, Inherently improper surface parametric supports, Computer Aided Geometric Design, 23, 629-639, 2006. (SCI)
  3. X.S. Gao and J. Tang, On the Probability of the Number of Solutions for the P4P Problem, Journal of Mathematical Imaging and Vision, 25, 79-86, 2006. (SCI)
  4. M. Li, X.S. Gao, and S.C. Chou, Quadratic Approximation to Plane Parametric Curves and Applications in Approximate Implicitization, Visual Computers, 22, 906-917, 2006. (SCI)
  5. R.Y. Feng and X.S. Gao, A Polynomial Time Algorithm to Find Rational General Solutions of First Orer Autonomous ODEs, Journal of Symbolic Computation, 41(7), 739-762, 2006. (SCI)
  6. X.S. Gao, Q. Lin, and G. Zhang, A C-tree Decomposition Algorithm for 2D and 3D Geometric Constraint Solving, Computer-Aided Design, 38(1), 1-13, 2006. (SCI, EI)
  7. G..F. Zhang and X.S. Gao, Well-constrained Completion and Decomposition for Under-constrained Geometric Constraint Problems, accepted by IJCGA. (SCI)
  8. X. Zhao and X.S. Gao, Binary Affinity Genetic Algorithm, accepted by Journal of Heuristics. (SCI)
  9. X. Zhao, X.S. Gao, and Z. Hu, Evolutionary Programming Based on Non-uniform Mutation, accepted by Applied Mathematics and Computation. (SCI)
  10. J. Li and X.S. Gao, The Proper Parametrization of a Special Class of Rational Parametric Equations, accepted by J. of Sys. Sci. and Complexity.
  11. H. Li, Conformal geometric algebra for motion and shape description, J. of Computer-Aided Design and Computer Graphics, Vol. 18, No. 7, 2006, pp. 895-901. (EI)
  12. H. Li, Conformal geometric algebra and algebraic manipulations of geometric invariants, J. of Computer-Aided Design and Computer Graphics, Vol. 18, No. 7, 2006, pp. 902-911. (EI)
  13. L. Cao and H. Li, Algorithm and implementation of mechanical proving of a class of theorems in elementary differential geometry. J. of Systems Science and Mathematical Sciences, vol. 26, No. 4, 396-401, 2006.
  14. J. Zhao and H. Li. Weyl transforms associated with the Hankel transform in Clifford analysis.Mathematical Methods in the Applied Sciences, 29: 839-851, 2006. (SCI)
  15. Z.M. Li and D. Zheng, Determining whether a hyperexponential function is algebraic, Journal of Systems Science and Complexity Vol 10, No. 13, pp. 325-364, 2006.
  16. Jianping Yu, Yongli Sun, and Yujie Ma, Implicitization of Rational Curves and Surfaces, 北京大学学报（自然科学版）第42卷, 第5期，2006.
  17. Yujie Ma, The rank and coexponent of a finite p-group.J. Sys. Sci. Complex. 19 (2006), no. 1, 88—92.
  18. 孙永利、于建平、马玉杰、夏纯，参数曲线的隐式化，北京化工大学学报（自然科学版），2006.
  19. 王定康，张岩：正规升列在参数代数方程组求解中的应用，数学学报，29(2) 2006.
  20. F.D. Xie, Z.S. Lu, D.K. Wang, The solutions of Toda lattice and Volterra lattice, Chaos, Solitons and Fractals 27(2006) 217-222. (SCI)
  21. Z.Y. Yan, Envelope exact solutions for the generalized nonlinear Schrodinger equation with a source, J. Phys. A: Math. Gen., 39 (2006) 401. (SCI)
  22. Z.Y. Yan, Discrete exact solutions of modified Volterra and Volterra lattice equations via the new discrete sine-Gordon expansion algorithm, Nonlinear Analysis-TMA, 64 (2006)1798. (SCI)
  23. Z.Y. Yan, New compacton-like and solitary patterns-like solutions to nonlinear wave equations with linear dispersion terms, Nonlinear Analysis-TMA, 64(2006) 901. (SCI)
  24. Z.Y. Yan, Q-S (complete or anticipated) synchronization backstepping scheme in a class of discrete-time chaotic (hyperchaotic) systems: A symbolic-numeric computation approach, Chaos, 16(2006)013119. (SCI)
  25. Z.Y. Yan, Envelope compactons and solitary patterns, Phys. Lett. A, 355 (2006) 212. (SCI)
  26. Z.Y. Yan, Envelope compact and solitary pattern structures for the GNLS (m, n, p, q) equations,Phys. Lett. A, 357 (2006) 196. (SCI)
  27. Z.Y. Yan, P. Yu, Globally exponential hyperchaos (lag) synchronization in a family of modified hyperchaotic Rossler systems, Int. J. Bifurcation & Chaos, (已录用). (SCI)
  28. Z.Y. Yan and P. Yu, Hyperchaos synchronization and control on a new hyperchaotic attractor,Chaos, Solitons and Fractals (已录用). (SCI)
  29. 邓映蒲，刘木兰, Isomorphism classes of hyperelliptic curves of genus 2 over finite fields with characteristic 2, Science in China, Ser.A, Vol. 49, No. 2, 173-184, 2006. (SCI)
  30. 邓映蒲，刘木兰, 特征2有限域上的超椭圆曲线的同构类, 中国科学，A辑, Vol. 36, No. 1, 72-83, 2006.
  31. 邓映蒲, Isomorphism classes of hyperelliptic curves of genus 3 over finite fields, Finite Fields and Their Applcations, Vol. 12, No. 2, 248-282, 2006. (SCI)
  32. 邓映蒲, 关于A. Menezes和S. Vanstone一文的注记, 数学的实践与认识, Vol. 36, No. 3, 231-235, 2006.
  33. 邓映蒲, A class of combinatorial identities, Discrete Mathematics, Vol. 306, No. 18, 2234-2240, 2006. (SCI)
  34. M. Liu, L. Xiao, Z. Zhang, Linear multi-secret sharing schemes based on multi-party computation,Finite fields and their applications, 12, 704-713, 2006. (SCI)
  35. 曹正军，刘木兰, 数字签名方案中的孤悬因子和冗余数据, 计算机学报, 第29卷，第2期, 249-255, 2006年2月. (EI)
  36. 曹正军，刘木兰, 一个基于强RSA数字签名方案的改进, 计算机学报, 第29卷，第9期, 1617-1621, 2006年9月. (EI)
  37. 曹正军，刘木兰, 一个盲代理签名方案的安全性分析, 中国科学院研究生院学报, 第23卷，第2期, 145-148, 2006年3月.
  38. B.H. Li, Y.Q. Li, G.T. Zhu, Application of irreducible decomposition of polynomial systems over algebraic extension fields in cryptography, Acta Analysis Functionalis Applicata, 第一期, 2007
  39. LiBanghe,Relating Fourier Hyperfunctions and Extended Fourier Hyperfunction to Hermite Heat Equations, AAFA 2006 Vol.8 No.4 295-303
  40. B.H. Li, T. Li, Circle sum and minimal genus surfaces in ruled 4-manifolds, Proc. AMS, 已接受. (SCI)
  41. B.H. Li, T. Li, On the diffeomorphism groups of rational and ruled 4-manifolds,J.Math.Kyoto.univ.vol.46,No.3(2006),583-593
  42. Y. Han, Hochschild (co)homology dimension, Journal of the London Mathematical Society 73, 657-668, 2006. (SCI)
  43. Z. Tang, Z. Wan, Symplectic graphs and their automorphisms, European J. of Combinatorics 27, 38-50, 2006. (SCI)
  44. Z. Tang, Z. Wan, A matrix approach to the rational invariants of certain classical groups over finite fields of characteristic two, Finite Fields and Their Applications 12, 186-210, 2006. (SCI)
  45. L. Huang, Z. Wan, Geometry of 2×2 Hermitian matrices II, Linear and Multilinear Algebra 54, 37-54 , 2006.

 

Papers on Conference Proceedings

  1. G.F. Zhang and X.S. Gao, Planar Generalized Stewart-Gough Platforms and their Direct Kinematics, ADG 2004, LNAI 3763, 198-211, Springer-Verlag, Berlin, 2006. (SCI)
  2. G.F. Zhang and X.S. Gao, Spatial Geometric Constraint Solving Based on k-connected Graph Decomposition, 973-977, Proc. of The 21st Annual ACM Symposium on Applied Computing, Dijon, France, ACM Press, 2006. (EI)
  3. X.S. Gao and C. Yuan, Resolvent Systems of Difference Polynomial Ideals, Proc. ISSAC 2006, 1o1-108, ACM Press, New York, 2006. (EI)
  4. Erich Kaltofen, Zhengfeng Yang and Lihong Zhi: Structured Low Rank Approximation of a Sylvester Matrix. In “Symbolic-Numeric Computation”, Birkhauser, Basel, 2006, pp 65—79.
  5. Bingyu Li, Zhuojiu Liu and Lihong Zhi: Implementation of Fast Low Rank Approximation of a Sylvester Matrix. In “Symbolic-Numeric Computation”, Birkhauser, Basel, 2006, pp 80—91.
  6. Erich Kaltofen, Zhengfeng Yang and Lihong Zhi: Approximate Greatest Common Divors of Several Polynomial with Linearly Constrained Coefficients and Singular Polynomials. In Proc. ISSAC 2006, pp. 169—176. (EI)
  7. Erich Katofen and Lihong Zhi: Hybrid Symbolic-Numeric Computation, In Proc. ISSAC 2006, p. 7. (EI)
  8. X.F. Chen, P. Li, L. Lin, D.K. Wang: Proving Geometric Theorems by Partitioned -Parametric Groebner Bases, Automated Deduction in Geometry, LNAI 3763 34-43(2006), Springer.(EI)
  9. Z.M. Li, M. Singer, M. Wu and D. Zheng, Determining the one-dimensional submodules of Laurent-Ore modules. Proc of ISSAC’2006, pp. 220-272 ACM Press, 2006. (EI)
  10. H. Li, nD polyhedral scene reconstruction from single 2D line drawing by local propagation,Automated Deduction in Geometry, LNAI 3763, Springer Berlin Heidelberg, H. Hong and D. Wang (eds), pp. 169-197. (SCI)
  11. H. Li, Geometric reasoning with invariant algebras, Proc. ATCM 2006, ATCM Inc.
  12. H. Li, L. Huang, A Fast Algorithm for nD Polyhedral Scene Perception from a Single 2D Line Drawing, In: Proc. 1st International Conf. on Computer Vision Theory and Applications, Vol. 2, pp. 69-76, INSTICC Press, Setubal, Portugal, 2006
  13. H. Li, Geometric factorization and theorem completion using bracket algebras, Proc. 6th International Workshop on Automated Deduction in Geometry, Vigo, Spain, 2006, ISBN 84-611-2355-7, pp. 62-65.
  14. W. Sun and H. Li, On the Mixed Cayley-Sylvester Resultant Matrix, AISC 2006, LNAI 4120, J. Calmet, T. Ida and D. Wang (eds), Springer Berlin Heidelberg, pp. 146-159, 2006. (SCI)
  15. Li Banghe & Shen Yuefeng, A new method for conversion from torsion space Cartesian space，生物信息学中的智能计算理论玉方法研究，p.163-166, 黄德双、刘海燕、施蕴渝、陈国良主编中国科学技术大学出版社，2006.11
  16. Li bo & Shen yuefeng, A new method for pairwise protein structure Aligument, p.119-124, 黄德双、刘海燕、施蕴渝、陈国良主编，中国科学技术大学出版社，2006.11
Copyright©  中国科学院数学机械化重点实验室
地址：北京市海淀区中关村东路55号  邮编：100190
电话：86- 10-82541851  传真：86-10-82541809
京ICP备05002806号-1