Elementary number theory problems. VIII

DOI10.2478/FORMA-2023-0009OpenAlexW4388201256MaRDI QIDQ6071626

Artur Korniłowicz

Publication date: 28 November 2023

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

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

zbMATH Keywords

primesfactorizationdivisibilitynumber 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
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• 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

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