More on divisibility criteria for selected primes

DOI10.2478/FORMA-2013-0010zbMath1298.11003OpenAlexW2008324457MaRDI QIDQ467778

Adam Naumowicz, Radosław Piliszek

Publication date: 5 November 2014

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

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

zbMATH Keywords

divisibilitydecimal digitsdivisibility rules

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Radix representation; digital problems (11A63) Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05)

Cites Work

• Unnamed Item
• Analysis of Algorithms: An Example of a Sort Algorithm
• Veblen Hierarchy

This page was built for publication: More on divisibility criteria for selected primes