Elementary number theory problems. VI

DOI10.2478/FORMA-2022-0019MaRDI QIDQ6489415

Adam Grabowski

Publication date: 22 April 2024

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

zbMATH Keywords

arithmetic progressionnumber theoryprime number

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Arithmetic progressions (11B25) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Polygonal numbers
• On square-free numbers
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Dataset description: formalization of elementary number theory in Mizar
• Mizar: State-of-the-art and Beyond

This page was built for publication: Elementary number theory problems. VI