Elementary number theory problems. VII

DOI10.2478/FORMA-2023-0003MaRDI QIDQ6071620zbMATH OpenOpenAlexFDO

Authors Artur Korniłowicz

Publication date 28 November 2023

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2023-0003

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. IV
• Elementary number theory problems. VIII
• Elementary number theory problems. III
• Elementary number theory problems. IX

Cites work

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

Cited in

(7)

• Elementary number theory problems. I
• Elementary number theory problems. II
• Zahlentheorie und Zahlenspiele
• Elementary number theory problems. VIII
• Elementary number theory problems. III
• Elementary number theory problems. IV
• Elementary number theory problems. XIII

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

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