Consequence of Nesterenko's theorem.
TeX:
\theta_{3}\!\left(0 , i\right) \notin \overline{\mathbb{Q}}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| JacobiTheta | Jacobi theta function | |
| ConstI | Imaginary unit | |
| AlgebraicNumbers | Algebraic numbers |
Source code for this entry:
Entry(ID("0d4608"),
Formula(NotElement(JacobiTheta(3, 0, ConstI), AlgebraicNumbers)),
Description("Consequence of Nesterenko's theorem."))