REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/4896
Tytuł: Fermat’s Little Theorem via Divisibility of Newton’s Binomial
Autorzy: Ziobro, Rafał
Słowa kluczowe: factorization
primes
Fermat
Data wydania: 2015
Data dodania: 16-gru-2016
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 23, Issue 3, 215–229
Abstrakt: AbstractSolving equations in integers is an important part of the number theory [29]. In many cases it can be conducted by the factorization of equation’s elements, such as the Newton’s binomial. The article introduces several simple formulas, which may facilitate this process. Some of them are taken from relevant books [28], [14]. In the second section of the article, Fermat’s Little Theorem is proved in a classical way, on the basis of divisibility of Newton’s binomial. Although slightly redundant in its content (another proof of the theorem has earlier been included in [12]), the article provides a good example, how the application of registrations could shorten the length of Mizar proofs [9], [17].
Afiliacja: Department of Carbohydrate Technology, University of Agriculture, Krakow, Poland
URI: http://hdl.handle.net/11320/4896
DOI: 10.1515/forma-2015-0018
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2015, Volume 23, Issue 3

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2015-0018.pdf276,57 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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