BCI-homomorphisms. - Yuzhong Ding; Fuguo Ge; Chenglong Wu (Formaliz. Math., 2008)

Inner Products, Group, Ring of Quaternion Numbers. - Fuguo Ge (Formaliz. Math., 2008)

Several Differentiation Formulas of Special Functions. Part VII. - Fuguo Ge; Bing Xie (Formaliz. Math., 2008)

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