Displaying similar documents to “Bounds for sine and cosine via eigenvalue estimation”

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.

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

Chaos in some planar nonautonomous polynomial differential equation

Klaudiusz Wójcik (2000)

Annales Polonici Mathematici

Similarity:

We show that under some assumptions on the function f the system ż = z ̅ ( f ( z ) e i ϕ t + e i 2 ϕ t ) generates chaotic dynamics for sufficiently small parameter ϕ. We use the topological method based on the Lefschetz fixed point theorem and the Ważewski retract theorem.

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

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.