Displaying similar documents to “Closed geodesics in simply connected Riemannian spaces of negative curvature.”

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.

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

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.

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