[[1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.]Search in Google Scholar
[[2] Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.]Search in Google Scholar
[[3] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.]Search in Google Scholar
[[4] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.]Search in Google Scholar
[[5] Xiquan Liang and Fuguo Ge. The quaternion numbers. Formalized Mathematics, 14(4):161-169, 2006.10.2478/v10037-006-0020-1]Search in Google Scholar
[[6] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.]Search in Google Scholar
[[7] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.]Search in Google Scholar
[[8] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.]Search in Google Scholar
[[9] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.]Search in Google Scholar