Commit 2023-05-30 17:46 938d3db9
View on Github →feat(ring_theory/polynomial/hermite): proof of explicit formula for Hermite polynomial coefficients (#19044) Add the explicit closed formula for the coefficients of Hermite polynomials.
feat(ring_theory/polynomial/hermite): proof of explicit formula for Hermite polynomial coefficients (#19044) Add the explicit closed formula for the coefficients of Hermite polynomials.