Currently displaying 1 – 20 of 32

Showing per page

Order by Relevance | Title | Year of publication

The Quaternion Numbers

Xiquan LiangFuguo Ge — 2006

Formalized Mathematics

In this article, we define the set H of quaternion numbers as the set of all ordered sequences q = where x,y,w and z are real numbers. The addition, difference and multiplication of the quaternion numbers are also defined. We define the real and imaginary parts of q and denote this by x = ℜ(q), y = ℑ1(q), w = ℑ2(q), z = ℑ3(q). We define the addition, difference, multiplication again and denote this operation by real and three imaginary parts. We define the conjugate of q denoted by q*' and the absolute...

Basic Properties of Primitive Root and Order Function

Na MaXiquan Liang — 2012

Formalized Mathematics

In this paper we defined the reduced residue system and proved its fundamental properties. Then we proved the basic properties of the order function. Finally, we defined the primitive root and proved its fundamental properties. Our work is based on [12], [8], and [11].

Difference and Difference Quotient. Part III

Xiquan LiangLing Tang — 2010

Formalized Mathematics

In this article, we give some important theorems of forward difference, backward difference, central difference and difference quotient and forward difference, backward difference, central difference and difference quotient formulas of some special functions.

Linear Congruence Relation and Complete Residue Systems

Xiquan LiangLi YanJunjie Zhao — 2007

Formalized Mathematics

In this paper, we defined the congruence relation and proved its fundamental properties on the base of some useful theorems. Then we proved the existence of solution and the number of incongruent solution to a linear congruence and the linear congruent equation class, in particular, we proved the Chinese Remainder Theorem. Finally, we defined the complete residue system and proved its fundamental properties.

BCI-algebras with Condition (S) and their Properties

Tao SunJunjie ZhaoXiquan Liang — 2008

Formalized Mathematics

In this article we will first investigate the elementary properties of BCI-algebras with condition (S), see [8]. And then we will discuss the three classes of algebras: commutative, positive-implicative and implicative BCK-algebras with condition (S).MML identifier: BCIALG 4, version: 7.8.09 4.97.1001

Gauss Lemma and Law of Quadratic Reciprocity

Li YanXiquan LiangJunjie Zhao — 2008

Formalized Mathematics

In this paper, we defined the quadratic residue and proved its fundamental properties on the base of some useful theorems. Then we defined the Legendre symbol and proved its useful theorems [14], [12]. Finally, Gauss Lemma and Law of Quadratic Reciprocity are proven.MML identifier: INT 5, version: 7.8.05 4.89.993

Page 1 Next

Download Results (CSV)