leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: kbb

Topic: fourier series


Johan Commelin (Sep 12 2018 at 02:30):

I think one of the foundational things about modular forms is their Fourier series. Do people think it is reasonable to attack this is the coming week?

Patrick Massot (Sep 12 2018 at 19:19):

I don't see how we could get series expansion for holomorphic functions so quickly (unless Kenny really wants it)

Kenny Lau (Sep 12 2018 at 19:20):

(deleted)


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll