Differentiable Functions on Normed Linear Spaces

DOI10.2478/V10037-012-0005-1zbMath1276.26036OpenAlexW2082337314MaRDI QIDQ2865759

Yasunari Shidama

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-012-0005-1

Mathematics Subject Classification ID

Continuity and differentiation questions (26B05)

Related Items (4)

Finite dimensional real normed spaces are proper metric spaces ⋮ Isomorphism theorem on vector spaces over a ring ⋮ Isometric differentiable functions on real normed space ⋮ Differential equations on functions from \(\mathbb R\) into real Banach space

Cites Work

• Semantics of MML Query - Ordering
• Differentiable Functions into Real Normed Spaces

This page was built for publication: Differentiable Functions on Normed Linear Spaces