Prime factorization of sums and differences of two like powers

DOI10.1515/forma-2016-0015zbMath1357.11011OpenAlexW2588017875MaRDI QIDQ516743

Rafał Ziobro

Publication date: 15 March 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2016-0015

zbMATH Keywords

primesfactorizationintegers

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Factorization; primality (11A51)

Related Items (1)

Prime representing polynomial

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Fermat's little theorem via divisibility of Newton's binomial
• An example of formalizing recent mathematical results in MIZAR
• Semantics of MML Query - Ordering
• Mizar: State-of-the-art and Beyond

This page was built for publication: Prime factorization of sums and differences of two like powers