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].
@article{bwmeta1.element.doi-10_1515_forma-2016-0015,
author = {Rafa\l\ Ziobro},
title = {Prime Factorization of Sums and Differences of Two Like Powers},
journal = {Formalized Mathematics},
volume = {24},
year = {2016},
pages = {187-198},
zbl = {1357.11011},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.doi-10_1515_forma-2016-0015}
}
Rafał Ziobro. Prime Factorization of Sums and Differences of Two Like Powers. Formalized Mathematics, Tome 24 (2016) pp. 187-198. http://gdmltest.u-ga.fr/item/bwmeta1.element.doi-10_1515_forma-2016-0015/