Some remarkable identities involving numbers

DOI10.2478/FORMA-2014-0023zbMath1311.11012OpenAlexW1160985268MaRDI QIDQ2344190

Rafał Ziobro

Publication date: 12 May 2015

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

Full work available at URL: https://doi.org/10.2478/forma-2014-0023

zbMATH Keywords

divisibilitypowersidentityinequations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Other number representations (11A67)

Related Items (1)

Fermat's little theorem via divisibility of Newton's binomial

Cites Work

• On differences of two \(k\)th powers of integers
• A new approach to polynomial identities
• Semantics of MML Query - Ordering

This page was built for publication: Some remarkable identities involving numbers