Transformation tools for real linear spaces
From MaRDI portal
Publication:6489404
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)
Recommendations
Cites work
- scientific article; zbMATH DE number 3678487 (Why is no real title available?)
- scientific article; zbMATH DE number 1199721 (Why is no real title available?)
- Cartesian products of family of real linear spaces
- Mizar: state-of-the-art and beyond
- Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces
- The role of the Mizar mathematical library for interactive proof development in Mizar
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)