Open Access

Inner Products, Group, Ring of Quaternion Numbers

   | Mar 20, 2009

Cite

[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-1Search 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

eISSN:
1898-9934
ISSN:
1426-2630
Language:
English
Publication timeframe:
4 times per year
Journal Subjects:
Computer Sciences, other, Mathematics, General Mathematics