Documentation

LeanPool.CarlsonFunctions.StdSimplexMeasure.Integral

Imports

Init
LeanPool.CarlsonFunctions.StdSimplexMeasure.Integral.Aggregation
LeanPool.CarlsonFunctions.StdSimplexMeasure.Integral.Basic
LeanPool.CarlsonFunctions.StdSimplexMeasure.Integral.Monomial
LeanPool.CarlsonFunctions.StdSimplexMeasure.Integral.Slicing

Imported by

Standard-simplex integration #

Basic integration, slicing, monomial formulas, and aggregation have separate modules.