PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2009 | 17 | 2 | 99-115
Tytuł artykułu

Collective Operations on Number-Membered Sets

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Słowa kluczowe
Wydawca
Rocznik
Tom
17
Numer
2
Strony
99-115
Opis fizyczny
Daty
wydano
2009-01-01
online
2009-07-14
Twórcy
  • Institute of Computer Science, University of Białystok, Sosnowa 64, 15-887 Białystok Poland
Bibliografia
  • [1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
  • [2] Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990.
  • [3] Andrzej Trybulec. On the sets inhabited by numbers. Formalized Mathematics, 11(4):341-347, 2003.
  • [4] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_2478_v10037-009-0011-0
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.