Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces
From MaRDI portal
Publication:6489402
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?)
- Continuity of barycentric coordinates in Euclidean topological spaces
- Isometric differentiable functions on real normed space
- Mizar: state-of-the-art and beyond
- Multilinear operator and its basic properties
- The role of the Mizar mathematical library for interactive proof development in Mizar
This page was built for publication: Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489402)