Isomorphism between spaces of multilinear maps and nested compositions over real normed vector spaces
From MaRDI portal
Publication:6489402
DOI10.2478/FORMA-2022-0006MaRDI QIDQ6489402FDOQ6489402
Authors: Kazuhisa Nakasho, Yuichi Futa
Publication date: 22 April 2024
Published in: Formalized Mathematics (Search for Journal in Brave)
Recommendations
Multilinear algebra, tensor calculus (15A69) Forms (bilinear, sesquilinear, multilinear) (47A07) Formalization of mathematics in connection with theorem provers (68V20)
Cites Work
- Mizar: state-of-the-art and beyond
- Title not available (Why is that?)
- Title not available (Why is that?)
- Continuity of barycentric coordinates in Euclidean topological spaces
- Isometric differentiable functions on real normed space
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Multilinear operator and its basic properties
Cited In (1)
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)