Several Integrability Formulas of Special Functions. Part II

Bo Li; Yanping Zhuang; Yanhong Men; Xiquan Liang

doi:10.2478/v10037-009-0003-0

.blurhash-client-img { display: none !important; }

Several Integrability Formulas of Special Functions. Part II

Formalized Mathematics

Volume 17 (2009): Issue 1 (March 2009)

By: Bo Li, Yanping Zhuang, Yanhong Men and Xiquan Liang

Open Access

|Mar 2009

Read online

Abstract

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

References

[1] Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.
Search in Google Scholar
[2] Czesław Byliński and Piotr Rudnicki. Bounding boxes for compact sets in ε². Formalized Mathematics, 6(3):427-440, 1997.
Search in Google Scholar
[3] Chuanzhang Chen. Mathematical Analysis. Higher Education Press, Beijing, 1978.
Search in Google Scholar
[4] Noboru Endou and Artur Korniłowicz. The definition of the Riemann definite integral and some related lemmas. Formalized Mathematics, 8(1):93-102, 1999.
Search in Google Scholar
[5] Noboru Endou, Katsumi Wasaki, and Yasunari Shidama. Definition of integrability for partial functions from R to R and integrability for continuous functions. Formalized Mathematics, 9(2):281-284, 2001.
Search in Google Scholar
[6] Artur Korniłowicz and Yasunari Shidama. Inverse trigonometric functions arcsin and arccos. Formalized Mathematics, 13(1):73-79, 2005.
Search in Google Scholar
[7] Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273-275, 1990.
Search in Google Scholar
[8] Jarosław Kotowicz. Partial functions from a domain to a domain. Formalized Mathematics, 1(4):697-702, 1990.
Search in Google Scholar
[9] Jarosław Kotowicz. Partial functions from a domain to the set of real numbers. Formalized Mathematics, 1(4):703-709, 1990.
Search in Google Scholar
[10] Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269-272, 1990.
Search in Google Scholar
[11] Xiquan Liang and Bing Xie. Inverse trigonometric functions arctan and arccot. Formalized Mathematics, 16(2):147-158, 2008, doi:10.2478/v10037-008-0021-3.10.2478/v10037-008-0021-3
Open DOI Search in Google Scholar
[12] Takashi Mitsuishi and Yuguang Yang. Properties of the trigonometric function. Formalized Mathematics, 8(1):103-106, 1999.
Search in Google Scholar
[13] Konrad Raczkowski. Integer and rational exponents. Formalized Mathematics, 2(1):125-130, 1991.
Search in Google Scholar
[14] Konrad Raczkowski and Paweł Sadowski. Real function differentiability. Formalized Mathematics, 1(4):797-801, 1990.
Search in Google Scholar
[15] Konrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777-780, 1990.
Search in Google Scholar
[16] Yasunari Shidama. The Taylor expansions. Formalized Mathematics, 12(2):195-200, 2004.
Search in Google Scholar
[17] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.
Search in Google Scholar
[18] Andrzej Trybulec and Yatsuka Nakamura. On the decomposition of a simple closed curve into two arcs. Formalized Mathematics, 10(3):163-167, 2002.
Search in Google Scholar
[19] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
Search in Google Scholar
[20] Peng Wang and Bo Li. Several differentiation formulas of special functions. Part V. Formalized Mathematics, 15(3):73-79, 2007, doi:10.2478/v10037-007-0009-4.10.2478/v10037-007-0009-4
Open DOI Search in Google Scholar
[21] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
Search in Google Scholar
[22] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
Search in Google Scholar
[23] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255-263, 1998.
Search in Google Scholar

Articles in this issue

DOI: https://doi.org/10.2478/v10037-009-0003-0 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630

Journal RSS Feed

Language: English

Page range: 23 - 35

Published online: Mar 20, 2009

Published in print: Jan 1, 2009

Published by: University of Białystok

In partnership with: Paradigm Publishing Services

Related subjects:

Computer sciences,

Artificial intelligence,

Computer sciences, other,

Mathematics,

Logic and set theory,

General mathematics

© 2009 Bo Li, Yanping Zhuang, Yanhong Men, Xiquan Liang, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 17 (2009): Issue 1 (March 2009)