Displaying similar documents to “Basic Properties of Even and Odd Functions”

Difference and Difference Quotient. Part IV

Xiquan Liang, Ling Tang, Xichun Jiang (2011)

Formalized Mathematics

Similarity:

In this article, we give some important theorems of forward difference, backward difference, central difference and difference quotient and forward difference, backward difference, central difference and difference quotient formulas of some special functions.

Several Integrability Formulas of Special Functions. Part II

Bo Li, Yanping Zhuang, Yanhong Men, Xiquan Liang (2009)

Formalized Mathematics

Similarity:

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

Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions

Bo Li, Yanping Zhuang, Bing Xie, Pan Wang (2009)

Formalized Mathematics

Similarity:

In this article, we give several integrability formulas of some functions including the trigonometric function and the index function [3]. We also give the definitions of the orthogonal polynomial and norm function, and some of their important properties [19].MML identifier: INTEGRA9, version: 7.11.01 4.117.1046

Egoroff's Theorem

Noboru Endou, Yasunari Shidama, Keiko Narita (2008)

Formalized Mathematics

Similarity:

The goal of this article is to prove Egoroff's Theorem [13]. However, there are not enough theorems related to sequence of measurable functions in Mizar Mathematical Library. So we proved many theorems about them. At the end of this article, we showed Egoroff's theorem.MML identifier: MESFUNC8, version: 7.8.10 4.100.1011

Several Differentiation Formulas of Special Functions. Part VII

Fuguo Ge, Bing Xie (2008)

Formalized Mathematics

Similarity:

In this article, we prove a series of differentiation identities [2] involving the arctan and arccot functions and specific combinations of special functions including trigonometric and exponential functions.MML identifier: FDIFF 11, version: 7.10.01 4.111.1036

Several Higher Differentiation Formulas of Special Functions

Junjie Zhao, Xiquan Liang, Li Yan (2008)

Formalized Mathematics

Similarity:

In this paper, we proved some basic properties of higher differentiation, and higher differentiation formulas of special functions [4].MML identifier: HFDIFF 1, version: 7.8.10 4.100.1011

Integrability Formulas. Part III

Bo Li, Na Ma (2010)

Formalized Mathematics

Similarity:

In this article, we give several differentiation and integrability formulas of composite trigonometric function.

Difference and Difference Quotient. Part II

Bo Li, Yanping Zhuang, Xiquan Liang (2008)

Formalized Mathematics

Similarity:

In this article, we give some important properties of forward difference, backward difference, central difference and difference quotient and forward difference, backward difference, central difference and difference quotient formulas of some special functions [11].MML identifier: DIFF 2, version: 7.8.09 4.97.1001

Difference and Difference Quotient. Part III

Xiquan Liang, Ling Tang (2010)

Formalized Mathematics

Similarity:

In this article, we give some important theorems of forward difference, backward difference, central difference and difference quotient and forward difference, backward difference, central difference and difference quotient formulas of some special functions.