Xiquan Liang
Qingdao University of Science and Technology
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Xiquan Liang.
Formalized Mathematics | 2008
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
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
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
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
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
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
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
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
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
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