cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A193373 Decimal expansion of Pi/(2 + sqrt(2)).

Original entry on oeis.org

9, 2, 0, 1, 5, 1, 1, 8, 4, 5, 1, 0, 6, 1, 0, 1, 1, 4, 9, 5, 4, 7, 0, 2, 8, 8, 8, 2, 4, 9, 1, 5, 6, 0, 3, 4, 8, 8, 9, 8, 5, 8, 5, 5, 4, 6, 8, 7, 2, 6, 0, 7, 0, 9, 4, 3, 2, 2, 4, 6, 7, 8, 8, 8, 2, 9, 5, 9, 9, 0, 0, 9, 7, 3, 6, 4, 7, 2, 0, 4, 3, 3, 4, 0, 3, 7, 1, 3, 5, 7, 9, 5, 9, 7, 3, 4, 4, 4, 9
Offset: 0

Views

Author

M. F. Hasler, Jul 24 2011

Keywords

Examples

			0.92015118451061011495470288824915603488985855468726...
		

Crossrefs

Cf. A193355.

Programs

  • Magma
    SetDefaultRealField(RealField(100)); R:= RealField(); Pi(R)/(2 + Sqrt(2)); // G. C. Greubel, Sep 29 2018
  • Maple
    evalf(Pi/(2+sqrt(2)),120); # Muniru A Asiru, Sep 30 2018
  • Mathematica
    RealDigits[Pi/(2 + Sqrt[2]), 10, 100][[1]] (* G. C. Greubel, Sep 29 2018 *)
  • PARI
    default(realprecision, 99); vecextract(eval(Vec(Str(Pi/(2+sqrt(2))))),"3..")
    

Formula

From Amiram Eldar, May 08 2021: (Start)
Equals Integral_{x>=0} log(1 + 1/(1 + 2*x^2)) dx.
Equals Integral_{x=0..Pi} 1/(1 + csc(x)^2) dx. (End)
Equals A000796 - A247719 = A000796*A268682. - R. J. Mathar, Jul 22 2025