Elementary number theory problems. VI

DOI10.2478/FORMA-2022-0019MaRDI QIDQ6489415FDOQ6489415

Authors: Adam Grabowski 

Publication date: 22 April 2024

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

zbMATH Keywords

arithmetic progressionprime numbernumber theory

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

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

Cited In (3)

• Elementary number theory problems. IX
• Elementary number theory problems. XII: Primes in arithmetic progression
• Extending numeric automation for number theory formalizations in Mizar

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489415)