<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this article, we formalize the differentiability of functions from the set of real numbers into a normed vector space [14].</p></abstract>

In this article, we formalize the differentiability of functions from the set of real numbers into a normed vector space [14].

Differentiable Functions into Real Normed Spaces

Nagano National College of Technology, Nagano, Japan

Differentiable Functions into Real Normed Spaces

Published Online: Jul 18, 2011

Page range: 69 - 72

DOI: https://doi.org/10.2478/v10037-011-0012-7

This content is open access.