Basel problem -- preliminaries

DOI10.1515/FORMA-2017-0013MaRDI QIDQ2407508zbMATH OpenOpenAlexFDO

Authors Artur Korniłowicz, Karol Pąk

Publication date 6 October 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

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

zbMATH Keywords

Basel problem

Mathematics Subject Classification ID

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

Recommendations

• Basel problem
• The Basel problem
• The Basel problem
• The Basel Problem and the Fundamental Theorem of Calculus
• A Short and Elementary Proof of the Basel Problem
• Some integrals related to the Basel problem
• Beyond the Basel Problem, Part I
• scientific article; zbMATH DE number 5626021
• Beyond the Basel Problem: Part II
• The Basel Problem as a Rearrangement of Series

Cites work

• scientific article; zbMATH DE number 5838442 (Why is no real title available?)
• scientific article; zbMATH DE number 2001186 (Why is no real title available?)
• Double series and sums
• Mizar: state-of-the-art and beyond
• Semantics of MML query -- ordering

Cited in

(6)

• A Short and Elementary Proof of the Basel Problem
• Basel Problem: A Solution Motivated by the Power of a Point
• Sequences of prime reciprocals. Preliminaries
• Diophantine sets. II
• Basel problem
• The Basel Problem as a Rearrangement of Series

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Basel problem -- preliminaries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407508)