Elementary number theory problems. III

DOI10.2478/FORMA-2022-0011MaRDI QIDQ6489407

Artur Korniłowicz

Publication date: 22 April 2024

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

zbMATH Keywords

primesdivisibilitynumber theory

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Polygonal numbers
• Proth numbers
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Flexary connectives in Mizar
• Dataset description: formalization of elementary number theory in Mizar
• Elementary number theory problems. II
• Mizar: State-of-the-art and Beyond

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