Elementary number theory problems. VI

DOI10.2478/FORMA-2022-0019MaRDI QIDQ6489415zbMATH OpenFDO

Authors Adam Grabowski

Publication date 22 April 2024

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

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)

Recommendations

• Elementary number theory problems. XII: Primes in arithmetic progression
• Elementary number theory problems. V
• Elementary number theory problems. XI
• Elementary number theory problems. IX

Cites work

• Dataset description: formalization of elementary number theory in Mizar
• 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

Cited in

(5)

• Elementary number theory problems. V
• Elementary number theory problems. IX
• Elementary number theory problems. XI
• 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)