On square-free numbers

DOI10.2478/FORMA-2013-0017MaRDI QIDQ467787zbMATH OpenOpenAlexFDO

Authors Adam Grabowski

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-0017

zbMATH Keywords

square-free numberslattice of natural divisorsprime reciprocals

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Factorization; primality (11A51)

Recommendations

• Sequences of prime reciprocals. Preliminaries
• On the distribution of square-free numbers
• A note on the square values of divisor sum function
• scientific article; zbMATH DE number 1884328
• The natural density of some sets of square-free numbers

Cites work

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

Cited in

(12)

• Stone lattices.
• scientific article; zbMATH DE number 6988826 (Why is no real title available?)
• Square-free integers codified into the binary strings and their associated groups
• scientific article; zbMATH DE number 3424108 (Why is no real title available?)
• Two problems concerning positive integers with square free
• On the Factorization of Squarefree Integers
• Elementary number theory problems. VI
• On the square-freeness of Fermat and Mersenne numbers
• scientific article; zbMATH DE number 4095602 (Why is no real title available?)
• Squarefree Numbers in Arithmetic Progressions
• scientific article; zbMATH DE number 5119117 (Why is no real title available?)
• The group of squarefree integers

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: On square-free numbers

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