Elementary number theory problems. V

From MaRDI portal

Revision as of 14:33, 28 November 2024 by Import241128011130 (talk | contribs) (Created automatically from import241128011130)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6489414

Jump to:navigation, search

DOI10.2478/forma-2022-0018MaRDI QIDQ6489414

Artur Korniłowicz, Adam Naumowicz

Publication date: 22 April 2024

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

zbMATH Keywords

primes divisibility number theory

Mathematics Subject Classification ID

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6489414&oldid=37942163"