Currently displaying 1 – 20 of 23

Showing per page

Order by Relevance | Title | Year of publication

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.

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

A geometric problem and the Hopf Lemma. I

Yan Yan LiLouis Nirenberg — 2006

Journal of the European Mathematical Society

A classical result of A. D. Alexandrov states that a connected compact smooth n -dimensional manifold without boundary, embedded in n + 1 , and such that its mean curvature is constant, is a sphere. Here we study the problem of symmetry of M in a hyperplane X n + 1 = const in case M satisfies: for any two points ( X ' , X n + 1 ) , ( X ' , X ^ n + 1 ) on M , with X n + 1 > X ^ n + 1 , the mean curvature at the first is not greater than that at the second. Symmetry need not always hold, but in this paper, we establish it under some additional condition for n = 1 . Some variations...

Page 1 Next

Download Results (CSV)