Jump to ContentJump to Main Navigation
Show Summary Details
In This Section

Formalized Mathematics

(a computer assisted approach)

Editor-in-Chief: Matuszewski, Roman

4 Issues per year


SCImago Journal Rank (SJR) 2015: 0.134
Source Normalized Impact per Paper (SNIP) 2015: 0.686
Impact per Publication (IPP) 2015: 0.296

Open Access
Online
ISSN
1898-9934
See all formats and pricing
Online
Open Access
*Prices in US$ apply to orders placed in the Americas only. Prices in GBP apply to orders placed in Great Britain only. Prices in € represent the retail prices valid in Germany (unless otherwise indicated). Prices are subject to change without notice. Prices do not include postage and handling if applicable. RRP: Recommended Retail Price.
In This Section
Volume 17, Issue 2 (Jan 2009)

Issues

Volume 25 (2017)

Volume 24 (2016)

Volume 23 (2015)

Volume 22 (2014)

Volume 21 (2013)

Volume 20 (2012)

Volume 19 (2011)

Volume 18 (2010)

Volume 17 (2009)

Volume 16 (2008)

Volume 15 (2007)

Volume 14 (2006)

Some Operations on Quaternion Numbers

Bo Li
  • Qingdao University of Science and Technology, China
 / Xiquan Liang
  • Qingdao University of Science and Technology, China
 / Pan Wang
  • Qingdao University of Science and Technology, China
 / Yanping Zhuang
  • Qingdao University of Science and Technology, China
Published Online: 2009-07-14 | DOI: https://doi.org/10.2478/v10037-009-0006-x

Open Access

Download full text pdf

Some Operations on Quaternion Numbers

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

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

About the article

Published Online: 2009-07-14

Published in Print: 2009-01-01

Citation Information: Formalized Mathematics, ISSN (Online) 1898-9934, ISSN (Print) 1426-2630, DOI: https://doi.org/10.2478/v10037-009-0006-x. Export Citation

This content is open access.

Comments (0)

Please log in or register to comment.
Log in