Elementary number theory problems. III

DOI10.2478/FORMA-2022-0011MaRDI QIDQ6489407zbMATH OpenFDO

Authors Artur Korniłowicz

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-0011

zbMATH Keywords

divisibilitynumber theoryprimes

Mathematics Subject Classification ID

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

Recommendations

• Elementary number theory problems. VII
• Elementary number theory problems. VIII
• Elementary number theory problems. IV
• Elementary number theory problems. V
• Elementary number theory problems. XI

Cites work

• Dataset description: formalization of elementary number theory in Mizar
• Elementary number theory problems. II
• Flexary connectives in Mizar
• scientific article; zbMATH DE number 3335201 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• Polygonal numbers
• Proth numbers
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(5)

• Elementary number theory problems. VII
• Elementary number theory problems. VIII
• Extending numeric automation for number theory formalizations in Mizar
• Elementary number theory problems. IV
• Elementary number theory problems. XI

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

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