Power series, comparison test, ratio test, Taylor's theorem.
| Theorem | Location | PVS Name | Contributors |
|---|---|---|---|
| Derivative of a Power Series | series@power_series_deriv |
powerseries_deriv |
RB |
| Integral of a Power Series | series@power_series_integ |
integral_powerseries |
RB |
| Sum of a Geometric Series | series@series |
geometric_sum |
RB |
- Anthony Narkawicz, NASA, USA
- David Lester, Manchester University, UK
- Ricky Butler, NASA, USA
- César Muñoz, NASA, USA
- Mariano Moscato, NIA & NASA, USA
- Sam Owre, SRI, USA
- César Muñoz, NASA, USA
