Continuity of multilinear operator on normed linear spaces

DOI10.2478/FORMA-2019-0006zbMath1422.47064OpenAlexW2945877773MaRDI QIDQ2416856

Kazuhisa Nakasho, Yasunari Shidama

Publication date: 24 May 2019

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

Full work available at URL: https://doi.org/10.2478/forma-2019-0006

zbMATH Keywords

Banach spaceLipschitz continuitybounded linear operatorsmultilinear operators

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Multilinear and polynomial operators (47H60)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Implicit function theorem. I
• Mizar: State-of-the-art and Beyond

This page was built for publication: Continuity of multilinear operator on normed linear spaces