# Some Operations on Quaternion Numbers

Bo Li; Xiquan Liang; Pan Wang; Yanping Zhuang

Formalized Mathematics (2009)

- Volume: 17, Issue: 2, page 61-65
- ISSN: 1426-2630

## Access Full Article

top## Abstract

top## How to cite

topBo Li, et al. "Some Operations on Quaternion Numbers." Formalized Mathematics 17.2 (2009): 61-65. <http://eudml.org/doc/266673>.

@article{BoLi2009,

abstract = {In this article, we give some equality and basic theorems about quaternion numbers, and some special operations.},

author = {Bo Li, Xiquan Liang, Pan Wang, Yanping Zhuang},

journal = {Formalized Mathematics},

language = {eng},

number = {2},

pages = {61-65},

title = {Some Operations on Quaternion Numbers},

url = {http://eudml.org/doc/266673},

volume = {17},

year = {2009},

}

TY - JOUR

AU - Bo Li

AU - Xiquan Liang

AU - Pan Wang

AU - Yanping Zhuang

TI - Some Operations on Quaternion Numbers

JO - Formalized Mathematics

PY - 2009

VL - 17

IS - 2

SP - 61

EP - 65

AB - In this article, we give some equality and basic theorems about quaternion numbers, and some special operations.

LA - eng

UR - http://eudml.org/doc/266673

ER -

## References

top- [1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
- [2] Czesław Byliński. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.
- [3] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
- [4] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
- [5] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
- [6] Fuguo Ge. Inner products, group, ring of quaternion numbers. Formalized Mathematics, 16(2):135-139, 2008, doi:10.2478/v10037-008-0019-x.[Crossref]
- [7] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35-40, 1990.
- [8] Xiquan Liang and Fuguo Ge. The quaternion numbers. Formalized Mathematics, 14(4):161-169, 2006, doi:10.2478/v10037-006-0020-1.[Crossref]
- [9] Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990.
- [10] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445-449, 1990.
- [11] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
- [12] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
- [13] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.