Elementary number theory problems. II

DOI10.2478/FORMA-2021-0006zbMath1473.68209OpenAlexW3197170884MaRDI QIDQ2664721

Dariusz Surowik, Artur Korniłowicz

Publication date: 17 November 2021

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

Full work available at URL: https://doi.org/10.2478/forma-2021-0006

zbMATH Keywords

primesdivisibilitynumber theory

Mathematics Subject Classification ID

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

Related Items (1)

Extending numeric automation for number theory formalizations in Mizar

Uses Software

• Mizar

Cites Work

• Unnamed Item
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Flexary connectives in Mizar
• Mizar: State-of-the-art and Beyond

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