Differentiable Functions into Real Normed Spaces

DOI10.2478/V10037-011-0012-7zbMath1276.26035OpenAlexW2033103392MaRDI QIDQ2865733

Yasunari Shidama, Noboru Endou, Keiko Narita, 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-0012-7

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05)

Related Items (4)

Differential equations on functions from \(\mathbb R\) into real Banach space ⋮ Contracting Mapping on Normed Linear Space ⋮ Differentiable Functions on Normed Linear Spaces ⋮ The Differentiable Functions from R into Rn

Cites Work

• More on Continuous Functions on Normed Linear Spaces

This page was built for publication: Differentiable Functions into Real Normed Spaces