In this article, we describe the differential equations on functions from R into real Banach space. The descriptions are based on the article [20]. As preliminary to the proof of these theorems, we proved some properties of differentiable functions on real normed space. For the proof we referred to descriptions and theorems in the article [21] and the article [32]. And applying the theorems of Riemann integral introduced in the article [22], we proved the ordinary differential equations on real Banach space. We referred to the methods of proof in [30].Narita Keiko - Hirosaki-city Aomori, JapanEndou Noboru - Gifu National College of Technology Gifu, JapanShidama Yasunari - Shinshu University Nagano, JapanGrzegorz Bancerek. The fundamental pr...
Two construction functors: simple term with a variable and compound term with an operation and argum...
In this article, we define and develop partial differentiation of vector-valued functions on n-dimen...
[EN] This survey paper collects some of older and quite new concepts and results from descriptive se...
The Borsuk-Ulam theorem about antipodals is proven, [18, pp. 32-33].This work has been supported by ...
In this article, we define and develop differentiation of vector-valued functions on n-dimensional r...
We formalize, in two different ways, that “the n-dimensional Euclidean metric space is a complete me...
SummaryIn this article we check, with the Mizar system [2], Pascal’s theorem in the real projective ...
In this article, we formalize isometric differentiable functions on real normed space [17], and thei...
In this article, we aim to prove the characterization of differentiation by means of partial differe...
In this article, we shall extend the formalization of [10] to discuss higher-order partial different...
In this paper we characterize the dual $\bigl(\B^c_{p(\cdot)} (\Omega) \bigr)'$ of the variable exp...
In control engineering, differentiable partial functions from R into Rⁿ play a very important role. ...
Tim Makarios (with Isabelle/HOL1) and John Harrison (with HOL-Light2) shown that “the Klein-Beltrami...
In this article we prove the Leibniz series for π which states that π4=∑n=0∞(−1)n2⋅n+1. The formaliz...
We obtain full description of eigenvalues and eigenvectors of composition operators Cϕ : A (R) → A ...
Two construction functors: simple term with a variable and compound term with an operation and argum...
In this article, we define and develop partial differentiation of vector-valued functions on n-dimen...
[EN] This survey paper collects some of older and quite new concepts and results from descriptive se...
The Borsuk-Ulam theorem about antipodals is proven, [18, pp. 32-33].This work has been supported by ...
In this article, we define and develop differentiation of vector-valued functions on n-dimensional r...
We formalize, in two different ways, that “the n-dimensional Euclidean metric space is a complete me...
SummaryIn this article we check, with the Mizar system [2], Pascal’s theorem in the real projective ...
In this article, we formalize isometric differentiable functions on real normed space [17], and thei...
In this article, we aim to prove the characterization of differentiation by means of partial differe...
In this article, we shall extend the formalization of [10] to discuss higher-order partial different...
In this paper we characterize the dual $\bigl(\B^c_{p(\cdot)} (\Omega) \bigr)'$ of the variable exp...
In control engineering, differentiable partial functions from R into Rⁿ play a very important role. ...
Tim Makarios (with Isabelle/HOL1) and John Harrison (with HOL-Light2) shown that “the Klein-Beltrami...
In this article we prove the Leibniz series for π which states that π4=∑n=0∞(−1)n2⋅n+1. The formaliz...
We obtain full description of eigenvalues and eigenvectors of composition operators Cϕ : A (R) → A ...
Two construction functors: simple term with a variable and compound term with an operation and argum...
In this article, we define and develop partial differentiation of vector-valued functions on n-dimen...
[EN] This survey paper collects some of older and quite new concepts and results from descriptive se...