2008
Inverse Trigonometric Functions Arcsec and Arccosec.
[DOI]
Bing Xie
,
Xiquan Liang
,
Fuguo Ge
Formaliz. Math., 2008

Several Differentiation Formulas of Special Functions. Part VII.
[DOI]
Fuguo Ge
,
Bing Xie
Formaliz. Math., 2008

Inner Products, Group, Ring of Quaternion Numbers.
[DOI]
Fuguo Ge
Formaliz. Math., 2008

BCI-homomorphisms.
[DOI]
Yuzhong Ding
,
Fuguo Ge
,
Chenglong Wu
Formaliz. Math., 2008