Parity as a property of integers

DOI10.2478/FORMA-2018-0008zbMath1422.11010OpenAlexW2906782660WikidataQ128687449 ScholiaQ128687449MaRDI QIDQ2311518

Rafał Ziobro

Publication date: 10 July 2019

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

Full work available at URL: https://doi.org/10.2478/forma-2018-0008

zbMATH Keywords

divisibilitybinary representation

Mathematics Subject Classification ID

Factorization; primality (11A51) Other number representations (11A67)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Fermat's little theorem via divisibility of Newton's binomial
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Mizar: State-of-the-art and Beyond

This page was built for publication: Parity as a property of integers