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.
%I A254133 #17 Aug 06 2024 09:27:06 %S A254133 4,9,0,7,7,2,7,2,8,9,5,8,3,4,5,1,5,9,1,6,2,7,1,7,2,5,3,2,0,3,3,8,2,6, %T A254133 4,0,3,8,1,9,2,3,3,4,7,7,5,8,5,8,4,6,5,6,2,4,2,6,2,6,0,1,2,0,7,8,1,3, %U A254133 6,3,4,1,5,5,4,8,7,8,6,9,9,9,7,1,2,5,7,2,1,8,0,3,5,7,8,9,5,5,2,3,3,4,2 %N A254133 Decimal expansion of Lamb's integral K_0. %H A254133 D. H. Bailey, J. M. Borwein, and R. E. Crandall, <a href="https://citeseerx.ist.psu.edu/pdf/7f8e05b56fe9a987cf8f50f5f71414954bd94c1e">Advances in the theory of box integrals</a> (2010) p. 18. %H A254133 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/InverseTangentIntegral.html">Inverse Tangent Integral</a>. %F A254133 K_0 = integral_[0..1] arctanh(1/sqrt(3 + x^2))/(1 + x^2) dx. %F A254133 K_0 = 3/2*Ti_2(3 - 2*sqrt(2)) + Pi/4*log(1 + sqrt(2)) - Catalan/2, where Ti_2 is Lewin's arctan integral, Ti_2(x) = (i/2)*(Li_2(-i*x) - Li_2(i*x)). %e A254133 0.490772728958345159162717253203382640381923347758584656... %p A254133 evalf(int(arctanh(1/sqrt(3 + x^2))/(1 + x^2), x=0..1), 120); # _Vaclav Kotesovec_, Jan 26 2015 %t A254133 Ti2[x_] := (I/2)*(PolyLog[2, -I*x] - PolyLog[2, I*x]); K0 = (3/2)*Ti2[3 - 2 Sqrt[2]] + Pi/4*Log[1 + Sqrt[2]] - Catalan/2 // Re; RealDigits[K0, 10, 103] // First %Y A254133 Cf. A244920, A244921, A244922, A254134, A254135. %K A254133 nonn,cons,easy %O A254133 0,1 %A A254133 _Jean-François Alcover_, Jan 26 2015