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 | Rozmiar | Format | |
---|---|---|---|---|
forma-2015-0018.pdf | 276,57 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL