Fungrim home page

Fungrim entry: 6505a9

π∈[3.1415926535897932384626433832795028841971693993751±5.83⋅10−51]\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-06-18 07:49:59.356594 UTC