REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/7629
Tytuł: Arithmetic Operations on Short Finite Sequences
Autorzy: Ziobro, Rafał
Słowa kluczowe: finite sequences
functions
relations
Data wydania: 2018
Data dodania: 4-mar-2019
Wydawca: DeGruyter Open
Źródło: Formalized Mathematics, Volume 26, Issue 3, Pages 199-208
Abstrakt: In contrast to other proving systems Mizar Mathematical Library, considered as one of the largest formal mathematical libraries [4], is maintained as a single base of theorems, which allows the users to benefit from earlier formalized items [3], [2]. This eventually leads to a development of certain branches of articles using common notation and ideas. Such formalism for finite sequences has been developed since 1989 [1] and further developed despite of the controversy over indexing which excludes zero [6], also for some advanced and new mathematics [5].The article aims to add some new machinery for dealing with finite sequences, especially those of short length.
Afiliacja: Department of Carbohydrate Technology, University of Agriculture, Krakow, Poland
URI: http://hdl.handle.net/11320/7629
DOI: 10.2478/forma-2018-0018
ISSN: 1426-2630
e-ISSN: 1898-9934
metadata.dc.identifier.orcid: 0000-0001-9681-4380
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2018, Volume 26, Issue 3

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma_2018_26_3_001.pdf222,11 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons