Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Elementary Facts About the Dis...

Email Gateway (Aug 22 2022 at 19:13):

From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>
Elementary Facts About the Distribution of Primes
by Manuel Eberl

This entry is a formalisation of Chapter 4 (and parts of Chapter 3) of Apostol’s
"Introduction to Analytic Number Theory". The main topics that are addressed are
properties of the distribution of prime numbers that can be shown in an elementary
way (i.e. without the Prime Number Theorem), the various equivalent forms of the PNT
(which imply each other in elementary ways), and consequences that follow from the PNT
in elementary ways. The latter include bounds for the number of distinct prime factors
of n, the divisor function d(n), Euler's totient function phi(n), and lcm(1,...,n).

For more details, see https://www.isa-afp.org/entries/Prime_Distribution_Elementary.html

Enjoy,
René

Last updated: May 06 2024 at 12:29 UTC