Elementary number theory problems. XIII

DOI10.2478/FORMA-2024-0001zbMATH Open1548.68303MaRDI QIDQ6626691

Artur Korniłowicz, Rafał Ziobro

Publication date: 29 October 2024

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

zbMATH Keywords

divisibilitynumber theoryprime number

Mathematics Subject Classification ID

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

Cites Work

• 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
• Mizar: State-of-the-art and Beyond
• Elementary number theory problems. IX
• Elementary number theory problems. X: Diophantine equations
• Elementary number theory problems. XI
• Elementary number theory problems. XII: Primes in arithmetic progression

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

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