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, 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, 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
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.
Bo Li, Na Ma, Xiquan Liang (2010)
Formalized Mathematics
Similarity:
In this article, we give several differentiation and integrability formulas of special and composite functions including trigonometric function, and polynomial function.
Duma, Andrei, Stoka, Marius (2002)
Beiträge zur Algebra und Geometrie
Similarity:
Shulaia, D. (2002)
Georgian Mathematical Journal
Similarity:
Fisher, Brian, Kiliçman, Adem (1995)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Nadjafikhah, Mehdi, Hejazi, Seyed-Reza (2009)
Balkan Journal of Geometry and its Applications (BJGA)
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. ...