@MISC{NDIFF_7.MIZ,
  AUTHOR = {Futa, Yuichi and Endou, Noboru and Shidama, Yasunari},
  TITLE = {Isometric Differentiable Functions on Real Normed Space},
  DAY = {31},
  MONTH = {December},
  YEAR = {2013},
  ADDRESS1 = {Japan Advanced Institute of Science and Technology\\ Ishikawa, Japan},
  ADDRESS2 = {Gifu National College of Technology\\ Gifu, Japan},
  ADDRESS3 = {Shinshu University\\ Nagano, Japan},
  SUMMARY = {In this article, we formalize isometric differentiable
  functions on real normed space \cite{Schwartz}, and their properties.},
  ACKNOWLEDGEMENT = {This work was supported by JSPS KAKENHI
    23500029 and 22300285.}}

