Yamazaki, H., Miyajima, K., & Shidama, Y. (2021). Functional Space Consisted by Continuous Functions on Topological Space. Formalized Mathematics, 29(1), 49-62. https://doi.org/10.2478/forma-2021-0005
Chicago Style (17th ed.) CitationYamazaki, Hiroshi, Keiichi Miyajima, and Yasunari Shidama. "Functional Space Consisted by Continuous Functions on Topological Space." Formalized Mathematics 29, no. 1 (2021): 49-62. https://doi.org/10.2478/forma-2021-0005.
MLA (9th ed.) CitationYamazaki, Hiroshi, et al. "Functional Space Consisted by Continuous Functions on Topological Space." Formalized Mathematics, vol. 29, no. 1, 2021, pp. 49-62, https://doi.org/10.2478/forma-2021-0005.
Warning: These citations may not always be 100% accurate.