Prime Factorization of Sums and Differences of Two Like Powers

• Autorzy: Rafał Ziobro
• Języki publikacji: EN

Abstrakty

EN

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].

Słowa kluczowe

EN

integers; factorization; primes

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2016
• Tom: 24
• Numer: 3
• Strony: 187-198

Daty

wydano

2016-09-01

otrzymano

2016-06-30

online

2017-02-08

Twórcy

autor

Rafał Ziobro

• Department of Carbohydrate Technology University of Agriculture Krakow,

Identyfikatory

DOI

10.1515/forma-2016-0015