Documentation

LeanPool.CarlsonFunctions.Carlson.RPolynomial

Imports

Init
LeanPool.CarlsonFunctions.Carlson.RPolynomial.Basic
LeanPool.CarlsonFunctions.Carlson.RPolynomial.Binomial
LeanPool.CarlsonFunctions.Carlson.RPolynomial.Coefficients
LeanPool.CarlsonFunctions.Carlson.RPolynomial.Differential
LeanPool.CarlsonFunctions.Carlson.RPolynomial.Estimates
LeanPool.CarlsonFunctions.Carlson.RPolynomial.Generating
LeanPool.CarlsonFunctions.Carlson.RPolynomial.PowerSeries
LeanPool.CarlsonFunctions.Carlson.RPolynomial.SharpEstimates
LeanPool.CarlsonFunctions.Carlson.RPolynomial.TaylorContinuation
LeanPool.CarlsonFunctions.Carlson.RPolynomial.Transform

Imported by

Carlson's R-polynomials #

Umbrella import for the algebraic, transformation, and generating-function theory.