Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: integers

Sortuj według:

Ogranicz wyniki do:

Prime Factorization of Sums and Differences of Two Like Powers

100%

Ziobro R.

Formalized Mathematics

2016

tom 24

nr 3

187-198

Representation of a non zero integer as a signed product of primes is unique similarly to its representations in various types of positional notations [4], [3]. The study focuses on counting the prime factors of integers in the form of sums or differences of two equal powers (thus being represented by 1 and a series of zeroes in respective digital bases). Although the introduced theorems are not particularly important, they provide a couple of shortcuts useful for integer factorization, which could serve in further development of Mizar projects [2]. This could be regarded as one of the important benefits of proof formalization [9].

Ograniczanie wyników

1 Formalized Mathematics

1 Ziobro R.

1 2016

Wyniki wyszukiwania

Prime Factorization of Sums and Differences of Two Like Powers