REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2008, Volume 16, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/20702
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorYan, Li-
    dc.contributor.authorLiang, Xiquan-
    dc.contributor.authorZhao, Junjie-
    dc.date.accessioned2026-07-31T08:03:45Z-
    dc.date.available2026-07-31T08:03:45Z-
    dc.date.issued2008-
    dc.identifier.citationFormalized Mathematics, Volume 16, Issue 1, Pages 23-28pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/20702-
    dc.description.abstractIn 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.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsAttribution-ShareAlike 4.0 International (CC BY-SA 4.0)-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleGauss Lemma and Law of Quadratic Reciprocitypl
    dc.typeArticlepl
    dc.rights.holder© 2009 Li Yan, Xiquan Liang, Junjie Zhao, published by University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.identifier.doi10.2478/v10037-008-0004-4-
    dc.description.AffiliationLi Yan - Qingdao University of Science and Technology, Chinapl
    dc.description.AffiliationXiquan Liang - Qingdao University of Science and Technology, Chinapl
    dc.description.AffiliationJunjie Zhao - Qingdao University of Science and Technology, Chinapl
    dc.description.referencesGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377–382, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.pl
    dc.description.referencesGrzegorz Bancerek. Konig’s theorem. Formalized Mathematics, 1(3):589–593, 1990.pl
    dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.pl
    dc.description.referencesCzesław Byliński. Binary operations. Formalized Mathematics, 1(1):175–180, 1990.pl
    dc.description.referencesCzesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529–536, 1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.pl
    dc.description.referencesCzesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661–668, 1990.pl
    dc.description.referencesAgata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.pl
    dc.description.referencesZhang Dexin. Integer Theory. Science Publication, China, 1965.pl
    dc.description.referencesYoshinori Fujisawa, Yasushi Fuwa, and Hidetaka Shimizu. Public-key cryptography and Pepin’s test for the primality of Fermat numbers. Formalized Mathematics, 7(2):317–321, 1998.pl
    dc.description.referencesHua Loo Keng. Introduction to Number Theory. Beijing Science Publication, China, 1957.pl
    dc.description.referencesAndrzej Kondracki. The Chinese Remainder Theorem. Formalized Mathematics, 6(4):573–577, 1997.pl
    dc.description.referencesRafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5):887–890, 1990.pl
    dc.description.referencesRafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relative primes. Formalized Mathematics, 1(5):829–832, 1990.pl
    dc.description.referencesTakaya Nishiyama and Yasuho Mizuhara. Binary arithmetics. Formalized Mathematics, 4(1):83–86, 1993.pl
    dc.description.referencesDariusz Surowik. Cyclic groups and some of their properties– part I. Formalized Mathematics, 2(5):623–627, 1991.pl
    dc.description.referencesMichał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.pl
    dc.description.referencesBo Zhang, Hiroshi Yamazaki, and Yatsuka Nakamura. Set sequences and monotone class. Formalized Mathematics, 13(4):435–441, 2005.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume16pl
    dc.description.issue1pl
    dc.description.firstpage23pl
    dc.description.lastpage28pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2008, Volume 16, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Gauss_Lemma_and_Law_of_Quadratic_Reciprocity.pdf237,85 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons