REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/3695
Tytuł: Differential Equations on Functions from R into Real Banach Space
Autorzy: Narita, Keiko
Endou, Noboru
Shidama, Yasunari
Słowa kluczowe: formalization of differential equations
Data wydania: 2013
Data dodania: 9-gru-2015
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 21, Issue 4, 2013, Pages 261-272
Abstrakt: 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].
Afiliacja: Narita Keiko - Hirosaki-city Aomori, Japan
Endou Noboru - Gifu National College of Technology Gifu, Japan
Shidama Yasunari - Shinshu University Nagano, Japan
URI: http://hdl.handle.net/11320/3695
DOI: 10.2478/forma-2013-0028
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2013, Volume 21, Issue 4

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2013-0028.pdf279,91 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons