Collective Operations on Number-Membered Sets

• Autorzy: Artur Korniłowicz
• 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.

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2009
• Tom: 17
• Numer: 2
• Strony: 99-115

Daty

wydano

2009-01-01

online

2009-07-14

Twórcy

autor

Artur Korniłowicz

• 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.

Identyfikatory

DOI

10.2478/v10037-009-0011-0