Commit 2023-01-11 21:36 914cb177
View on Github →feat(analysis/special_functions): Gaussian integral with complex parameter (#18090)
Compute ∫ x:ℝ, exp (-b * x^2) when b is complex (with positive imaginary part).
feat(analysis/special_functions): Gaussian integral with complex parameter (#18090)
Compute ∫ x:ℝ, exp (-b * x^2) when b is complex (with positive imaginary part).