Difference and Difference Quotient. Part II. - Bo Li 008; Yanping Zhuang; Xiquan Liang (Formaliz. Math., 2008)

Inverse Trigonometric Functions Arctan and Arccot. - Xiquan Liang; Bing Xie (Formaliz. Math., 2008)

General Theory of Quasi-Commutative BCI-algebras. - Tao Sun; Weibo Pan; Chenglong Wu; Xiquan Liang (Formaliz. Math., 2008)

BCI-algebras with Condition (S) and their Properties. - Tao Sun; Junjie Zhao; Xiquan Liang (Formaliz. Math., 2008)

Inverse Trigonometric Functions Arcsec and Arccosec. - Bing Xie; Xiquan Liang; Fuguo Ge (Formaliz. Math., 2008)

Partial Differentiation of Real Binary Functions. - Bing Xie; Xiquan Liang; Hongwei Li (Formaliz. Math., 2008)

Gauss Lemma and Law of Quadratic Reciprocity. - Li Yan; Xiquan Liang; Junjie Zhao (Formaliz. Math., 2008)

Basic Properties of Circulant Matrices and Anti-Circular Matrices. - Xiaopeng Yue; Xiquan Liang (Formaliz. Math., 2008)

Several Higher Differentiation Formulas of Special Functions. - Junjie Zhao; Xiquan Liang; Li Yan (Formaliz. Math., 2008)

Basic Properties of Periodic Functions. - Bo Li 008; Yanhong Men; Dailu Li; Xiquan Liang (Formaliz. Math., 2009)

Some Operations on Quaternion Numbers. - Bo Li 008; Pan Wang; Xiquan Liang; Yanping Zhuang (Formaliz. Math., 2009)

Several Integrability Formulas of Special Functions. Part II. - Bo Li 008; Yanping Zhuang; Yanhong Men; Xiquan Liang (Formaliz. Math., 2009)

On Rough Subgroup of a Group. - Xiquan Liang; Dailu Li (Formaliz. Math., 2009)

Second-Order Partial Differentiation of Real Binary Functions. - Bing Xie; Xiquan Liang; Xiuzhuan Shen (Formaliz. Math., 2009)

Partial Differentiation of Real Ternary Functions. - Takao Inou'e; Bing Xie; Xiquan Liang (Formaliz. Math., 2010)

Nilpotent Groups. - Dailu Li; Xiquan Liang; Yanhong Men (Formaliz. Math., 2010)

Integrability Formulas. Part II. - Bo Li 008; Na Ma; Xiquan Liang (Formaliz. Math., 2010)

Difference and Difference Quotient. Part III. - Xiquan Liang; Ling Tang (Formaliz. Math., 2010)

Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces. - Xiquan Liang; Piqing Zhao; Ou Bai (Formaliz. Math., 2010)

Some Properties of p-Groups and Commutative p-Groups. - Xiquan Liang; Dailu Li (Formaliz. Math., 2011)

Difference and Difference Quotient. Part IV. - Xiquan Liang; Ling Tang; Xichun Jiang (Formaliz. Math., 2011)

Some Basic Properties of Some Special Matrices. Part III. - Xiquan Liang; Tao Wang (Formaliz. Math., 2012)

Basic Properties of Primitive Root and Order Function. - Na Ma; Xiquan Liang (Formaliz. Math., 2012)