Fungrim symbol | Notation | Short description |
---|---|---|

FormalPowerSeries | $K[[x]]$ | Formal power series |

The symbol `FormalPowerSeries` does not yet have a definition text. Please send an angry email to the author and ask for an explanation, or open an issue on GitHub.

The symbol `FormalPowerSeries` appears in 8 topics:

- Square roots (in 5 entries)
- Sine (in 2 entries)
- Riemann zeta function (in 2 entries)
- Gamma function (in 2 entries)
- Zeros of the Riemann zeta function (in 1 entries)
- Natural logarithm (in 1 entries)
- Inverse tangent (in 1 entries)
- Exponential function (in 1 entries)

The symbol `FormalPowerSeries` appears in 14 entries:

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

2019-08-21 11:44:15.926409 UTC