Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Czasopisma help

  1. 3 Formalized Mathematics

Autorzy help

  1. 3 Liang X.

  2. 3 Yan L.

  3. 3 Zhao J.

Lata help

  1. 2 2008

  2. 1 2007

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Linear Congruence Relation and Complete Residue Systems

100%
Liang X., Yan L., Zhao J.
Formalized Mathematics
|
2007
|
tom 15
|
nr 4
181-187
EN
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.
2
Content available remote

Gauss Lemma and Law of Quadratic Reciprocity

100%
Yan L., Liang X., Zhao J.
Formalized Mathematics
|
2008
|
tom 16
|
nr 1
23-28
EN
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
3
Content available remote

Several Higher Differentiation Formulas of Special Functions

100%
Zhao J., Liang X., Yan L.
Formalized Mathematics
|
2008
|
tom 16
|
nr 2
141-145
EN
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
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.