mathlib3
914cb177 - feat(analysis/special_functions): Gaussian integral with complex parameter (#18090)

Commit

2 years ago

feat(analysis/special_functions): Gaussian integral with complex parameter (#18090) Compute `∫ x:ℝ, exp (-b * x^2)` when `b` is complex (with positive imaginary part).

Author

loefflerd

Parents

7c523cb7

mathlib3 914cb177 - feat(analysis/special_functions): Gaussian integral with complex parameter (#18090)

mathlib3
914cb177 - feat(analysis/special_functions): Gaussian integral with complex parameter (#18090)