The divergence of the sum of prime reciprocals

DOI10.2478/FORMA-2022-0015MaRDI QIDQ6489411

Mario Carneiro

Publication date: 22 April 2024

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

zbMATH Keywords

primesasymptotics

Mathematics Subject Classification ID

Distribution of primes (11N05) Primes (11A41) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Sequences of prime reciprocals. Preliminaries
• Renamings and a condition-free formalization of Kronecker's construction
• Mizar: State-of-the-art and Beyond

This page was built for publication: The divergence of the sum of prime reciprocals