Partial sums of certain analytic functions.
Owa, Shigeyoshi (2001)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Displaying similar documents to “Double Series and Sums”
Partial sums of certain analytic functions.
Notes on the unconditional convergence of multidimensional functional series.
Bareladze, G. (2000)
Georgian Mathematical Journal
Similarity:
Higher-Order Partial Differentiation
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama (2012)
Formalized Mathematics
Similarity:
In this article, we shall extend the formalization of [10] to discuss higher-order partial differentiation of real valued functions. The linearity of this operator is also proved (refer to [10], [12] and [13] for partial differentiation).
Sums of th powers in non-commutative rings.
Pumplün, Susanne (2007)
Beiträge zur Algebra und Geometrie
Similarity:
Partial Differentiation of Vector-Valued Functions on n -Dimensional Real Normed Linear Spaces
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama (2011)
Formalized Mathematics
Similarity:
In this article, we define and develop partial differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [19] and [20]).
More on the Continuity of Real Functions
Keiko Narita, Artur Kornilowicz, Yasunari Shidama (2011)
Formalized Mathematics
Similarity:
In this article we demonstrate basic properties of the continuous functions from R to Rn which correspond to state space equations in control engineering.
The C k Space
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
In this article, we formalize continuous differentiability of realvalued functions on n-dimensional real normed linear spaces. Next, we give a definition of the Ck space according to [23].
Two new conjectures concerning positive Jacobi polynomials sums.
Dimitrov, Dimitar K., Merlo, Clinton A. (1998)
Revista Colombiana de Matemáticas
Similarity:
On the number of sums and products
György Elekes (1997)
Acta Arithmetica
Similarity:
The Differentiable Functions from R into R n
Keiko Narita, Artur Korniłowicz, Yasunari Shidama (2012)
Formalized Mathematics
Similarity:
In control engineering, differentiable partial functions from R into Rn play a very important role. In this article, we formalized basic properties of such functions.
Convergence to zero and boundedness of operator-normed sums of random vectors with application to autoregression processes.
Buldygin, V.V., Koval, V.A. (2001)
Georgian Mathematical Journal
Similarity:
HYP and HYPQ. Mathematica packages for the manipulation of binomial sums and hypergeometric series respectively -binomial sums and basic hypergeometric series.
Krattenthaler, C. (1993)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity: