Elementary number theory problems. III

DOI10.2478/FORMA-2022-0011MaRDI QIDQ6489407FDOQ6489407

Authors: Artur Korniłowicz 

Publication date: 22 April 2024

Published in: Formalized Mathematics (Search for Journal in Brave)

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

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)

Cites Work

• Mizar: state-of-the-art and beyond
• Flexary connectives in Mizar
• Polygonal numbers
• Proth numbers
• Title not available (Why is that?)
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Dataset description: formalization of elementary number theory in Mizar
• Elementary number theory problems. II

Cited In (5)

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

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)