%0 Journal Article %T Integrability Formulas. Part III %A Bo Li %A Na Ma %J Formalized Mathematics %@ 1898-9934 %D 2010 %I %R 10.2478/v10037-010-0017-7 %X In this article, we give several differentiation and integrability formulas of composite trigonometric function. %U http://versita.metapress.com/content/fp781rq1326gr214/?p=8e869031a8ee4852b17ed45b502c4706&pi=3