Several Integrability Formulas of Special Functions. Part II

Several Integrability Formulas of Special Functions. Part II In this article, we give several differentiation and integrability formulas of special and composite functions including the trigonometric function, the hyperbolic function and the polynomial function [3]. MML identifier: INTEGR11, version: 7.11.01 4.117.1046

[1]  Bing Xie,et al.  Inverse Trigonometric Functions Arctan and Arccot , 2008, Formaliz. Math..

[2]  Konrad Raczkowski.  Integer and Rational Exponents , 1991 .

[3]  Noboru Endou,et al.  The Definition of the Riemann Definite Integral and some Related Lemmas , 2002 .

[4]  Yasunari Shidama,et al.  The Taylor Expansions , 2007 .

[5]  Konrad Raczkowski.  Real Function Differentiability 1 , 1990 .

[6]  Bounding Boxes for Compact Sets in E 2 , 1997 .

[7]  Jaross Law Kotowicz.  Real Sequences and Basic Operations on Them , 1989 .

[8]  Nagano Wakasato,et al.  Trigonometric Functions and Existence of Circle Ratio , 1998 .

[9]  Yatsuka Nakamura,et al.  On the Decomposition of a Simple Closed Curve into Two Arcs , 2004 .

[10]  T. Apostol.  Mathematical Analysis , 1957 .

[11]  Yasunari Shidama,et al.  Inverse Trigonometric Functions Arcsin and Arccos , 2007 .

[12]  Jarosław Kotowicz,et al.  Convergent Sequences and the Limit of Sequences , 2004 .

[13]  Takashi Mitsuishi,et al.  Properties of the Trigonometric Function , 2004 .

[14]  Jaroslaw Kotowicz,et al.  Partial Functions from a Domain to a Domain , 2004 .

[15]  Edmund Woronowicz.  Relations Defined on Sets , 1990 .

[16]  Yuji Sakai,et al.  Properties of Partial Functions from a Domain to the Set of Real Numbers , 1992 .

[17]  H. Piaggio.  Mathematical Analysis , 1955, Nature.

[18]  Peng Wang,et al.  Several Differentiation Formulas of Special Functions. Part V , 2007 .

[19]  Noboru Endou,et al.  Definition of Integrability for Partial Functions from R to R and Integrability for Continuous Functions , 1994 .

[20]  A. Trybulec.  Tarski Grothendieck Set Theory , 1990 .

[21]  Konrad Raczkowski.  Real Function Differentiability - Part II , 1991 .

[22]  Edmund Woronowicz.  Relations and Their Basic Properties , 2004 .

[23]  Konrad Raczkowski,et al.  Topological Properties of Subsets in Real Numbers 1 , 1990 .

[24]  Xiquan Liang,et al.  Several Differentiation Formulas of Special Functions , 2008 .

[25]  Konrad Raczkowski,et al.  Topological Properties of Subsets in Real Numbers , 1990 .

[26]  Yasunari Shidama.  Inverse Trigonometric Functions Arcsin and Arccos 1 , 2005 .