Basel problem

DOI10.1515/forma-2017-0014zbMath1377.11095OpenAlexW4210980279MaRDI QIDQ2407509

Artur Korniłowicz, Karol Pąk

Publication date: 6 October 2017

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

Full work available at URL: https://doi.org/10.1515/forma-2017-0014

zbMATH Keywords

Basel problem

Mathematics Subject Classification ID

(zeta (s)) and (L(s, chi)) (11M06) Approximation to limiting values (summation of series, etc.) (40A25)

Related Items (1)

Sequences of prime reciprocals. Preliminaries

Uses Software

• Mizar

Cites Work

• Basel problem -- preliminaries
• Semantics of MML Query - Ordering
• Mizar: State-of-the-art and Beyond
• Unnamed Item
• Unnamed Item

This page was built for publication: Basel problem