Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: formalization of differential equations

Sortuj według:

Ogranicz wyniki do:

Differential Equations on Functions from R into Real Banach Space

100%

Narita K., Endou N., Shidama Y.

Formalized Mathematics

2013

tom 21

nr 4

261-272

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].

Ograniczanie wyników

1 Formalized Mathematics

1 Endou N.

1 Narita K.

1 Shidama Y.

1 2013

Wyniki wyszukiwania

Differential Equations on Functions from R into Real Banach Space