Differential equations on functions from \(\mathbb R\) into real Banach space
type: Item
instance of: scholarly article
title: Differential equations on functions from \(\mathbb R\) into real Banach space
zbMATH Open document ID: 1298.34036
author: Keiko Narita
author: Noboru Endou
author: Yasunari Shidama
published in: Formalized Mathematics
publication date: 2014-11-05T00:00:00Z
Mathematics Subject Classification ID: 34A99
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6365910
zbMATH Keywords: formalization of differential equations
MaRDI profile type: Publication
full work available at URL: forma-2013-0028
OpenAlex ID: W2090044380
cites work: Semantics of MML query -- ordering
cites work: Riemann integral of functions from \(\mathbb R\) into real normed space
cites work: Contracting mapping on normed linear space
cites work: The differentiable functions from \(\mathbb R\) into \(\mathcal R^n\)
cites work: The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space
cites work: Differentiable functions into real normed spaces
cites work: More on continuous functions on normed linear spaces
cites work: Q5557123
cites work: Differentiable functions on normed linear spaces
cites work: Q5203581
DOI: 10.2478/FORMA-2013-0028
Recommended article: Q4219757
Recommended article: Q3276101
Recommended article: Q3074227
Recommended article: Differential equations in a Banach space
Recommended article: Q3689520
Recommended article: Q3464259
Recommended article: Q4300913
Recommended article: On a class of differential equations in Banach space
Recommended article: On solutions of differential equations in Banach spaces
description: scientific article; zbMATH DE number 6365910