Elementary number theory problems. IV

DOI10.2478/FORMA-2022-0017MaRDI QIDQ6489413zbMATH 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

zbMATH Keywords

primesdivisibilitynumber theory

Mathematics Subject Classification ID

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

Recommendations

• Elementary number theory problems. VII
• Elementary number theory problems. VIII
• Elementary number theory problems. III
• Elementary number theory problems. IX

Cites work

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

Cited in

(5)

• Elementary number theory problems. III
• Elementary number theory problems. IX
• Elementary number theory problems. VII
• Elementary number theory problems. VIII
• Extending numeric automation for number theory formalizations in Mizar

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

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