More on divisibility criteria for selected primes

DOI10.2478/FORMA-2013-0010MaRDI QIDQ467778zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• On a class of primality criteria
• scientific article; zbMATH DE number 2186653
• On prime divisors of Mersenne numbers
• Remarks on the number of prime divisors of integers
• On the divisors of shifted primes
• On the distribution of prime divisors
• scientific article; zbMATH DE number 3552578
• Some theorems on the prime divisors of integers

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Analysis of algorithms: an example of a sort algorithm
• Veblen hierarchy

Cited in

(3)

• Non-primes are recursively divisible
• scientific article; zbMATH DE number 6176023 (Why is no real title available?)
• On divisibility by 7 and other low valued primes

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

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