The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 20 of 24

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

Convex ( L , M ) -fuzzy remote neighborhood operators

Hu ZhaoLi-Yan JiaGui-Xiu Chen — 2024

Kybernetika

In this paper, two kinds of remote neighborhood operators in ( L , M ) -fuzzy convex spaces are proposed, which are called convex ( L , M ) -fuzzy remote neighborhood operators. It is proved that these two kinds of convex ( L , M ) -fuzzy remote neighborhood operators can be used to characterize ( L , M ) -fuzzy convex structures. In addition, the lattice structures of two kinds of convex ( L , M ) -fuzzy remote neighborhood operators are also given.

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)