Elementary number theory problems. IX

DOI10.2478/FORMA-2023-0015zbMATH Open1540.68287MaRDI QIDQ6557117

Artur Korniłowicz

Publication date: 18 June 2024

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

zbMATH Keywords

primesfactorizationdivisibilitynumber theory

Mathematics Subject Classification ID

Primes (11A41) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Extending numeric automation for number theory formalizations in Mizar
• Elementary number theory problems. IV
• Elementary number theory problems. VI

Related Items (1)

Elementary number theory problems. XIII

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

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