个人概况

姓    名:刘卓军

职    称:研究员

职    务:中国科学院数学与系统科学研究院研究员

研究方向:符号计算与自动推理、编码理论和密码学代数方法,以及系统科学理论和应用

电子邮件:zliu@mmrc.iss.ac.cn

教育情况

1988年毕业于中国科学院数学系统科学研究院

工作经历

1995年至今  中国科学院数学系统科学研究院研究员

1992年5月-1994年12月  美国肯特州立大学 访问学者

科研项目(973、科技部重点研发计划等)

著作文集(期刊专著等)

[01] (with XuHua LIU) "The Fundamental Theorem of Fuzzy Abelian Group", J. of Fuzzy Mathematics, Vol.5, No.3, 1985.(in Chinese)

[02] "The Isomorphic Theorem of Finite Abel Group", J. of Mathematical Research and Exposition, Vol.5, No.4, 1985.(in Chinese)

[03] (with XuHua LIU) "EG -- One Proving System for Elementary Group Theory", J. of Chinese Computer Science, Vol.10, No.8, 1987.(in Chinese)

[04] "An Algorithm of Decomposing High Degree Polynomials", J. of Systems Science and Mathematical Science, Vol.1, No.2, 1988.

[05] "A Method of Isolating Complex Roots of Polynomials", Chinese Quarterly Journal of Mathematices, Vol.3, No.4, 1988.

[06] "An Algorithm on Finding All Isolated Zeros of Polynomial Equations", Proceedings of ISSAC-90, Tokyo of Japan.

[07] "On The Characteristic Set of Elementary Symmetric Functions", J. of Systems Science and Mathematical Science, Vol. 11, No. 3, 1991.(in Chinese)

[08] "Processing Polynomial Algebraic Problems by Using SAC2/ALDES", J. of Computer Sci. & Technol., Vol. 6, No. 2, 1991.

[09] "Theorem Proving by Machine and Wu's Method", Chinese Scientist, No. 1, 1992. (in Chinese)

[10] (with DongDai LIN) "Some Results on Theorem-Proving in Finite Geometry", ISSAC'93, Kiev of Ukraine, 1993.

[11] (with Paul S. WANG) "Height as a Coefficient Bound for Univariate Polynomial Factors", SIGSAM Bulletin, Vol. 28, No. 2, 1994.

[12] "One General Criterion for Stability", Proceedings of 1st Asian Symposium on Computer Mathematics, Beijing of China, 1995.

[13] (with JinZhao WU) "The Remainder Method for The First-Order Theorem Proving", Proceedings of 1st Asian Symposium on Computer Mathematics, Beijing of China, 1995.

[14] (with WenDa WU) "STAR: A Small Tool for Algebraic Research", Proceedings of 2nd Asian Symposium on Computer Mathematics, Kobe of Japan, 1996.

[15] (with JinZhao WU) "On First-Order Theorem Proving Using Generalized Superposition II*, Science in China(Series E), Vol. 39, No. 6, December 1996. pp. 608--619.

[16] (with ChangYan DI) "Construction of a Class of Algebraic-Geometric Codes via Groebner Bases, Proceedings of ASCM'98, Lanzhou of China, Aug. 1998, pp. 165--171.

[17] (with JinZhao WU) "Well-Behaved Inference Rules for First-Order Theorem Proving, J. of Automated Reasoning, Vol. 21, No. 3, 1998. pp. 381--400.

[18] (with WenDa WU, DongDai LIN) "An Approach Towards the Implementation of Characteristic Set Method", Sys. Sci. and Math. Sci. Vol. 12, Suppl. 1999, pp. 88--95.

[19] (with LiHong ZHI) "P-Irreducibility of Binding Polynomials", An International J. Computers & Mathematics with applications, 38(1999), pp. 1--10.

[20] (with Jun LIU) "Upgrading & Using Lex and Yacc to Develop Message-Driven GUI Syntax Analyzing Software", Computer Engineering & Design, Vol. 20, No. 1, 1999.(in Chinese)

[21] (with MingSheng WANG) "Deciding If A Polynomial Endomorphism Over An Affine Algebraic Set Is Invertible via Wu-Ritt Method", J. Sys. Sci. & Math. Scis., Vol. 19, No. 3, 1999.(in Chinese)

[22] (with DongDai LIN) "Object-Oriented Analysis of ELIMINO", J. Comput. Sci. & Technol., Vol. 14, No. 5, 1999.

学术荣誉(获奖情况)

社会服务(社会兼职、杂志编委等)