Elementary number theory problems. I

DOI10.2478/FORMA-2020-0010zbMath1462.68229OpenAlexW3033889279MaRDI QIDQ2658817

Adam Naumowicz

Publication date: 24 March 2021

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

Full work available at URL: https://doi.org/10.2478/forma-2020-0010

zbMATH Keywords

number theoryrecreational mathematics

Mathematics Subject Classification ID

Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05) Recreational mathematics (00A08) 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
• Mizar: State-of-the-art and Beyond

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