@article{oai:soar-ir.repo.nii.ac.jp:00018402,
 author = {Miyajima, Keiichi and Artur, Korniłowicz and Shidama, Yasunari},
 issue = {4},
 journal = {Formalized Mathematics},
 month = {Dec},
 note = {Article, Formalized Mathematics. 20(4): 291-301 (2012)},
 pages = {291--301},
 title = {Contracting Mapping on Normed Linear Space},
 volume = {20},
 year = {2012}
}