Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Xiquan Liang is active.

Publication


Featured researches published by Xiquan Liang.


Formalized Mathematics | 2008

Inverse Trigonometric Functions Arctan and Arccot

Xiquan Liang; Bing Xie

Inverse Trigonometric Functions Arctan and Arccot This article describes definitions of inverse trigonometric functions arctan, arccot and their main properties, as well as several differentiation formulas of arctan and arccot. MML identifier: SIN COS9, version: 7.8.10 4.100.1011


Formalized Mathematics | 2007

Linear Congruence Relation and Complete Residue Systems

Xiquan Liang; Li Yan; Junjie Zhao

Linear Congruence Relation and Complete Residue Systems 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.


Formalized Mathematics | 2009

On Rough Subgroup of a Group

Xiquan Liang; Dailu Li

On Rough Subgroup of a Group This article describes a rough subgroup with respect to a normal subgroup of a group, and some properties of the lower and the upper approximations in a group.


Formalized Mathematics | 2009

Basic Properties of Periodic Functions

Bo Li; Dailu Li; Yanhong Men; Xiquan Liang

Basic Properties of Periodic Functions In this article we present definitions, basic properties and some examples of periodic functions according to [5].


Formalized Mathematics | 2008

Gauss Lemma and Law of Quadratic Reciprocity

Li Yan; Xiquan Liang; Junjie Zhao

Gauss Lemma and Law of Quadratic Reciprocity 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


Formalized Mathematics | 2010

Partial Differentiation of Real Ternary Functions

Takao Inoué; Bing Xie; Xiquan Liang

Partial Differentiation of Real Ternary Functions In this article, we shall extend the result of [19] to discuss partial differentiation of real ternary functions (refer to [8] and [16] for partial differentiation).


Formalized Mathematics | 2009

Some Operations on Quaternion Numbers

Bo Li; Pan Wang; Xiquan Liang; Yanping Zhuang

Some Operations on Quaternion Numbers In this article, we give some equality and basic theorems about quaternion numbers, and some special operations.


Formalized Mathematics | 2009

Several Integrability Formulas of Special Functions. Part II

Bo Li; Yanping Zhuang; Yanhong Men; Xiquan Liang

Several Integrability Formulas of Special Functions. Part II In this article, we give several differentiation and integrability formulas of special and composite functions including the trigonometric function, the hyperbolic function and the polynomial function [3]. MML identifier: INTEGR11, version: 7.11.01 4.117.1046


Formalized Mathematics | 2008

Several Higher Differentiation Formulas of Special Functions

Junjie Zhao; Xiquan Liang; Li Yan

Several Higher Differentiation Formulas of Special Functions In this paper, we proved some basic properties of higher differentiation, and higher differentiation formulas of special functions [4]. MML identifier: HFDIFF 1, version: 7.8.10 4.100.1011


Formalized Mathematics | 2008

Basic Properties of Circulant Matrices and Anti-Circular Matrices

Xiaopeng Yue; Xiquan Liang

Basic Properties of Circulant Matrices and Anti-Circular Matrices This article introduces definitions of circulant matrices, line-and column-circulant matrices as well as anti-circular matrices and describes their main properties. MML identifier: MATRIX16, version: 7.9.03 4.108.1028

Collaboration


Dive into the Xiquan Liang's collaboration.

Top Co-Authors

Avatar

Bo Li

Qingdao University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Yanping Zhuang

Qingdao University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Junjie Zhao

Qingdao University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Li Yan

Qingdao University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Bing Xie

Qingdao University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Yanhong Men

Qingdao University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar

Dailu Li

Qingdao University of Science and Technology

View shared research outputs
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge