Sequences of prime reciprocals. Preliminaries

DOI10.2478/forma-2018-0006zbMath1401.11010OpenAlexW2885677908WikidataQ129436380 ScholiaQ129436380MaRDI QIDQ1796770

Adam Grabowski

Publication date: 17 October 2018

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

Full work available at URL: https://doi.org/10.2478/forma-2018-0006

zbMATH Keywords

harmonic numberprime factorizationsequence of prime reciprocals

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Special sequences and polynomials (11B83) Factorization; primality (11A51)

Uses Software

• Mizar

Cites Work

• Basel problem -- preliminaries
• Basel problem
• Mizar: State-of-the-art and Beyond
• On Duplication in Mathematical Repositories
• Revisions as an Essential Tool to Maintain Mathematical Repositories

This page was built for publication: Sequences of prime reciprocals. Preliminaries