Transformation tools for real linear spaces

DOI10.2478/FORMA-2022-0008MaRDI QIDQ6489404FDOQ6489404

Authors: 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

Summability and bases in topological vector spaces (46A35) Formalization of mathematics in connection with theorem provers (68V20) 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)

Cites Work

• Mizar: state-of-the-art and beyond
• Title not available (Why is that?)
• Cartesian products of family of real linear spaces
• Title not available (Why is that?)
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489404)