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

Full work available at URL https://doi.org/10.2478/FORMA-2022-0019

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)

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

(7)

• Extending numeric automation for number theory formalizations in Mizar
• Elementary number theory problems. V
• Elementary number theory problems. IX
• Elementary number theory problems. XI
• Elementary number theory problems. XII: Primes in arithmetic progression
• Elementary number theory problems. XVI
• Elementary number theory problems. Part XV: Diophantine equations

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)