Functional Space C(ω), C0(ω)
From MaRDI portal
Publication:2865757
DOI10.2478/v10037-012-0003-3zbMath1276.60032OpenAlexW1981099423MaRDI QIDQ2865757
Hiroyuki Okazaki, Yasunari Shidama, Katuhiko Kanazashi
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-012-0003-3
Cites Work