Prime factorization of sums and differences of two like powers
type: Item
instance of: scholarly article
title: Prime factorization of sums and differences of two like powers
zbMATH Open document ID: 1357.11011
author: Rafał Ziobro
published in: Formalized Mathematics
publication date: 2017-03-15T00:00:00Z
Mathematics Subject Classification ID: 11A51
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6694970
zbMATH Keywords: integers
zbMATH Keywords: factorization
zbMATH Keywords: primes
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: forma-2016-0015
OpenAlex ID: W2588017875
cites work: Semantics of MML query -- ordering
cites work: Mizar: State-of-the-art and Beyond
cites work: Q4798346
cites work: Q4511100
cites work: An example of formalizing recent mathematical results in MIZAR
cites work: Fermat's little theorem via divisibility of Newton's binomial
DOI: 10.1515/FORMA-2016-0015
description: scientific article; zbMATH DE number 6694970