New Proofs of the Basel Problem using Stochastic Processes

03/24/2021
by   Uwe Hassler, et al.
0

The number π ^2/6 is involved in the variance of several distributions in statistics. At the same time it holds ∑_k=1^∞k^-2= π ^2/6, which solves the famous Basel problem. We first provide a historical perspective on the Basel problem, and second show how to generate further proofs building on stochastic processes.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/07/2017

Deriving Law-Abiding Instances

Liquid Haskell's refinement-reflection feature augments the Haskell lang...
research
12/11/2021

The Past as a Stochastic Process

Historical processes manifest remarkable diversity. Nevertheless, schola...
research
03/31/2021

Simpson's Paradox: A Singularity of Statistical and Inductive Inference

The occurrence of Simpson's paradox (SP) in 2× 2 contingency tables has ...
research
06/06/2021

Learning proofs for the classification of nilpotent semigroups

Machine learning is applied to find proofs, with smaller or smallest num...
research
11/06/2019

zksk: A Library for Composable Zero-Knowledge Proofs

Zero-knowledge proofs are an essential building block in many privacy-pr...
research
11/21/2022

Lemmas of Differential Privacy

We aim to collect buried lemmas that are useful for proofs. In particula...
research
11/11/2017

Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

We present an interval approach to real-number computations. In some asp...

Please sign up or login with your details

Forgot password? Click here to reset