Transformation tools for real linear spaces

DOI10.2478/FORMA-2022-0008MaRDI QIDQ6489404

Kazuhisa Nakasho

Publication date: 22 April 2024

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

zbMATH Keywords

real normed spacereal vector spacereal Euclidean spacereal linear space

Mathematics Subject Classification ID

Other ``topological linear spaces (convergence spaces, ranked spaces, spaces with a metric taking values in an ordered structure more general than (mathbb{R}), etc.) (46A19) Summability and bases in topological vector spaces (46A35) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Unnamed Item
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Cartesian Products of Family of Real Linear Spaces
• Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces
• Mizar: State-of-the-art and Beyond

This page was built for publication: Transformation tools for real linear spaces