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

Basic Properties of Even and Odd Functions. - Bo Li 008; Yanhong Men (Formaliz. Math., 2009)

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)

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

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

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

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