@MISC{NDIFF_4.MIZ,
  AUTHOR = {Narita, Keiko and Korni\l owicz, Artur and Shidama, Yasunari},
  TITLE = {The Differentiable Functions from $\mathbb{R}$
    into ${\mathbb{R}}^n$},
  DAY = {28},
  MONTH = {September},
  YEAR = {2011},
  ADDRESS1 = {Hirosaki-city, Aomori, Japan},
  ADDRESS2 = {University of Bia\l ystok, Bia\l ystok, Poland},
  ADDRESS3 = {Shinshu University, Nagano},
  SUMMARY = {In this article, we formalized basic properties
  of the differentiable functions of PartFunc of REAL, REAL n.
  In control engineering, these functions play a very important role.},
  ACKNOWLEDGMENT = {This work was supported by JSPS KAKENHI 22300285.}}


