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)

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

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