DOI10.2478/v10037-011-0020-7zbMath1276.46005OpenAlexW2155600614MaRDI QIDQ2865741
Artur Korniłowicz
Publication date: 3 December 2013 Published in: Formalized Mathematics (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2478/v10037-011-0020-7
Mathematics Subject Classification ID
Isometric theory of Banach spaces (46B04)