Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: square-free numbers

Sortuj według:

Ogranicz wyniki do:

On Square-Free Numbers

100%

Grabowski A.

Formalized Mathematics

2013

tom 21

nr 2

153-162

In the article the formal characterization of square-free numbers is shown; in this manner the paper is the continuation of [19]. Essentially, we prepared some lemmas for convenient work with numbers (including the proof that the sequence of prime reciprocals diverges [1]) according to [18] which were absent in the Mizar Mathematical Library. Some of them were expressed in terms of clusters’ registrations, enabling automatization machinery available in the Mizar system. Our main result of the article is in the final section; we proved that the lattice of positive divisors of a positive integer n is Boolean if and only if n is square-free.

Ograniczanie wyników

1 Formalized Mathematics

1 Grabowski A.

1 2013

Wyniki wyszukiwania

On Square-Free Numbers