Nine Chapters of Analytic Number Theory in Isabelle/HOL.
From MaRDI portal
analytic number theoryarithmetical functionDirichlet seriesDirichlet's theoremIsabellenumber theoryprime number theoremtheorem proving
Cites work
- A formalized proof of Dirichlet's theorem on primes in arithmetic progression
- A formally verified proof of the prime number theorem
- A simple derivation of \(\zeta(1-K)=-B_K/K\).
- Analytic Number Theory
- Euler and the Zeta Function
- Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL
- Formalization techniques for asymptotic reasoning in classical analysis
- Formalizing an analytic proof of the prime number theorem
- scientific article; zbMATH DE number 45380 (Why is no real title available?)
- scientific article; zbMATH DE number 3523640 (Why is no real title available?)
- scientific article; zbMATH DE number 7106484 (Why is no real title available?)
- Locales: a module system for mathematical theories
- Proving pearl: Knuth's algorithm for prime numbers
- Type classes and filters for mathematical analysis in Isabelle/HOL
- Verified Real Asymptotics in Isabelle/HOL
Cited in
(6)- A formalization of Dedekind domains and class groups of global fields
- scientific article; zbMATH DE number 1424865 (Why is no real title available?)
- What is the point of computers? A question for pure mathematicians
- Formalising half of a graduate textbook on number theory (short paper)
- Formalizing zeta and L-functions in Lean
- Formalization of the prime number theorem with a remainder term
This page was built for publication: Nine Chapters of Analytic Number Theory in Isabelle/HOL.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875424)
