A package on formal power series
Abstract
Formal Laurent-Puiseux series are important in many branches of mathematics. This paper presents a Mathematica implementation of algorithms developed by the author for converting between certain classes of functions and their equivalent representing series. The package PowerSeries handles functions of rational, exponential, and hypergeometric type, and enables the user to reproduce most of the results of Hansen's extensive table of series. Subalgorithms of independent significance generate differential equations satisfied by a given function and recurrence equations satisfied by a given sequence.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.