%0 Journal Article %T Integrability Formulas. Part I %A Bo Li %A Na Ma %J Formalized Mathematics %@ 1898-9934 %D 2010 %I %R 10.2478/v10037-010-0004-z %X In this article, we give several differentiation and integrability formulas of special and composite functions including the trigonometric function, and the polynomial function. %U http://versita.metapress.com/content/mt5t81g8187055qj/?p=61b23553b62540b9a78312c2f3ea4bb9&pi=3