Fungrim home page

Fungrim entry: 6505a9

π[3.1415926535897932384626433832795028841971693993751±5.831051]\pi \in \left[3.1415926535897932384626433832795028841971693993751 \pm 5.83 \cdot 10^{-51}\right]
TeX:
\pi \in \left[3.1415926535897932384626433832795028841971693993751 \pm 5.83 \cdot 10^{-51}\right]
Definitions:
Fungrim symbol Notation Short description
ConstPiπ\pi The constant pi (3.14...)
Source code for this entry:
Entry(ID("6505a9"),
    Formula(Element(ConstPi, RealBall(Decimal("3.1415926535897932384626433832795028841971693993751"), Decimal("5.83e-51")))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-10-05 13:11:19.856591 UTC