ZhuoJun Liu

Professor -- Computer Science/Mathematics

Brief Bio

Zhuojun Liu obtained his Ph.D. in Computer Science and Mathematics from the Institute of Systems Science(ISS), the Chinese Academy of Sciences(CAS) in 1988. He became a professor of computer science at ISS of CAS in 1995. Currently, Zhuojun is also a Vice President of the Academy of Mathematics and Systems Sciences(AMSS). Before that Professor Liu had been a deputy director of Institute of Systems Science for four years. Now ISS is an Institute of AMSS. From May of 1992 to December of 1994, Zhuojun was doing Symbolic and Algebraic Computation(SAC) research at Kent State University(KSU) as a research associate as well as a visiting professor.

Recent Research Accomplishments

Funded Research

Research Visibility

Selected Refereed Research Publications:

[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.

Maintains zliu@mmrc.iss.ac.cn