Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/10979
Pełny rekord metadanych
Pole DC | Wartość | Język |
---|---|---|
dc.contributor.author | Yamazaki, Hiroshi | - |
dc.date.accessioned | 2021-05-24T06:58:50Z | - |
dc.date.available | 2021-05-24T06:58:50Z | - |
dc.date.issued | 2020 | - |
dc.identifier.citation | Formalized Mathematics, Volume 28, Issue 4, Pages 263-268 | pl |
dc.identifier.issn | 1426-2630 | - |
dc.identifier.uri | http://hdl.handle.net/11320/10979 | - |
dc.description.abstract | In this article, we formalize in Mizar [1], [2] functional sequences and basic operations on functional sequences in norm space based on [5]. In the first section, we define functional sequence in norm space. In the second section, we define pointwise convergence and prove some related theorems. In the last section we define uniform convergence and limit of functional sequence. | pl |
dc.language.iso | en | pl |
dc.publisher | DeGruyter Open | pl |
dc.rights | Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) | - |
dc.rights.uri | https://creativecommons.org/licenses/by-sa/3.0/ | - |
dc.subject | pointwise convergence | pl |
dc.subject | functional sequence | pl |
dc.subject | formalized mathematics | pl |
dc.title | Functional Sequence in Norm Space | pl |
dc.type | Article | pl |
dc.rights.holder | © 2020 University of Białymstoku; | - |
dc.rights.holder | CC-BY-SA License ver. 3.0 or later; | - |
dc.identifier.doi | 10.2478/forma-2020-0023 | - |
dc.description.Affiliation | Nagano Prefectural Institute of Technology, Nagano, Japan | pl |
dc.description.references | Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi: 10.1007/978-3-319-20615-8_17. | pl |
dc.description.references | Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi: 10.1007/s10817-017-9440-6. | pl |
dc.description.references | Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357–367, 1990. | pl |
dc.description.references | Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269–272, 1990. | pl |
dc.description.references | Teiji Takagi. Introduction to analysis. Iwanami Shoten, Publishers, 3rd edition, 1983. | pl |
dc.description.references | Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1): 73–83, 1990. | pl |
dc.description.references | Hiroshi Yamazaki and Yasunari Shidama. Algebra of vector functions. Formalized Mathematics, 3(2):171–175, 1992. | pl |
dc.identifier.eissn | 1898-9934 | - |
dc.description.volume | 28 | pl |
dc.description.issue | 4 | pl |
dc.description.firstpage | 263 | pl |
dc.description.lastpage | 268 | pl |
dc.identifier.citation2 | Formalized Mathematics | pl |
Występuje w kolekcji(ach): | Formalized Mathematics, 2020, Volume 28, Issue 4 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2020-0023.pdf | 230,04 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL