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
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
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
Bo Li, Na Ma (2010)
Formalized Mathematics
Similarity:
In this article, we give several differentiation and integrability formulas of composite trigonometric function.
Fisher, Brian, Kiliçman, Adem (1995)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Brian Fisher, Adem Kiliçman (1995)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The commutative neutrix convolution product of the locally summable functions and is evaluated. Further similar commutative neutrix convolution products are evaluated and deduced.
Nadjafikhah, Mehdi, Forough, Ahmad-Reza (2009)
APPS. Applied Sciences
Similarity:
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
Benenti, Sergio (2007)
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications [electronic only]
Similarity:
Tsankov, Yulian (2010)
Fractional Calculus and Applied Analysis
Similarity:
MSC 2010: 44A35, 35L20, 35J05, 35J25 In this paper are found explicit solutions of four nonlocal boundary value problems for Laplace, heat and wave equations, with Bitsadze-Samarskii constraints based on non-classical one-dimensional convolutions. In fact, each explicit solution may be considered as a way for effective summation of a solution in the form of nonharmonic Fourier sine-expansion. Each explicit solution, may be used for numerical calculation of the solutions too. ...