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

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

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

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