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

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)

Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions. - Bo Li 008; Yanping Zhuang; Bing Xie; Pan Wang (Formaliz. Math., 2009)