Do we have Euler-MacClaurin?

Stream: Is there code for X?

[Geoffrey Irving]

Do we have https://en.m.wikipedia.org/wiki/Euler–Maclaurin_formula?

I specifically want the full Sterling series for the gamma function, which (module branch cuts) is an easy corollary.

[Johan Commelin]

cc @David Loeffler and @Michael Stoll

[Michael Stoll]

See also here, here and here.

[David Loeffler]

AFAIK we do not have this.

[Geoffrey Irving]

Here it is:

#maths > Euler-Maclaurin formula @ 💬