Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/3525
Tytuł: | Collective Operations on Number-Membered Sets |
Autorzy: | Korniłowicz, Artur |
Data wydania: | 2009 |
Data dodania: | 1-gru-2015 |
Wydawca: | De Gruyter Open |
Źródło: | Formalized Mathematics, Volume 17, Issue 2, 2009, Pages 99-115 |
Abstrakt: | The article starts with definitions of sets of opposite and inverse numbers of a given number membered set. Next, collective addition, subtraction, multiplication and division of two sets are defined. Complex numbers cases and extended real numbers ones are introduced separately and unified for reals. Shortcuts for singletons cases are also defined. |
Afiliacja: | Institute of Computer Science, University of Białystok, Sosnowa 64, 15-887 Białystok Poland |
URI: | http://hdl.handle.net/11320/3525 |
DOI: | 10.2478/v10037-009-0011-0 |
ISSN: | 1426-2630 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2009, Volume 17, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
v10037-009-0011-0.pdf | 212,15 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL