The 3-fold product space of real normed spaces and its properties

DOI10.2478/FORMA-2021-0022zbMath1494.68303OpenAlexW4285326553MaRDI QIDQ2171527

Hiroyuki Okazaki, Kazuhisa Nakasho

Publication date: 9 September 2022

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2021-0022

zbMATH Keywords

normed spaceslinear spaces3-fold product spaces

Mathematics Subject Classification ID

Geometry and structure of normed linear spaces (46B20) Summability and bases; functional analytic aspects of frames in Banach and Hilbert spaces (46B15) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• The role of the Mizar mathematical library for interactive proof development in Mizar
• Cartesian Products of Family of Real Linear Spaces
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: The 3-fold product space of real normed spaces and its properties