@MISC{REAL_NS1.MIZ,
  AUTHOR = {Endou, Noboru and Shidama, Yasunari},
  TITLE = {Completeness of the Real {E}uclidean Space},
  SECTION1 = {The Real Euclidean Space as a Real Linear Space},
  SECTION2 = {The Real Euclidean Space as a Real Normed Space},
  DAY = {28},
  MONTH = {December},
  YEAR = {2005},
  ADDRESS1 = {Gifu National College of Technology},
  ADDRESS2 = {Shinshu University\\Nagano},
  SUMMARY = {}}

