%0 Journal Article
%T More on Continuous Functions on Normed Linear Spaces
%A Hiroyuki Okazaki
%A Noboru Endou
%A Yasunari Shidama
%J Formalized Mathematics
%@ 1898-9934
%D 2011
%I 
%R 10.2478/v10037-011-0008-3
%X In this article we formalize the definition and some facts about continuous functions from R into normed linear spaces [14].
%U http://versita.metapress.com/content/w636n4m128843782/?p=25816f9e6d274cf5ab90abc2a2c39abd&pi=7