The Product Space of Real Normed Spaces and its Properties

Bibliographic Details
Main Authors: Endou Noboru, Shidama Yasunari, Miyajima Keiichi
Format: Article
Language:English
Published: Sciendo 2007-01-01
Series:Formalized Mathematics
Online Access:https://doi.org/10.2478/v10037-007-0010-y