More on Continuous Functions on Normed Linear Spaces

DOI10.2478/v10037-011-0008-3zbMath1276.46063OpenAlexW1990839018MaRDI QIDQ2865729

Yasunari Shidama, Noboru Endou, Hiroyuki Okazaki

Publication date: 3 December 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-011-0008-3

Mathematics Subject Classification ID

Continuous and differentiable maps in nonlinear functional analysis (46T20)

Related Items

Riemann integral of functions from \(\mathbb{R}\) into real Banach space, The linearity of Riemann integral on functions from \(\mathbb{R}\) into real Banach space, Differential equations on functions from \(\mathbb R\) into real Banach space, Contracting Mapping on Normed Linear Space, Differentiable Functions into Real Normed Spaces, More on the Continuity of Real Functions, The Differentiable Functions from R into Rn