leanprover-community / leanprover-community/mathlib4
Tracking issue for Hurwitz and Dirichlet L-series
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 4.2k
- Forks
- 1.7k
- PR merge metrics
- No merged PRs in 30d
Description
This is a tracker page for my Hurwitz zeta functions project, which is being gradually fed into Mathlib piece-by-piece.
Upstream project branch (not intended for review or merging, but possibly useful to reviewers as a reference)
- #10011
Components already merged
- #11176
- #11190
- #12020
- #12147
- #12265
- #12324
- #12779
- #12897
Open PR's
- #13347
Forthcoming
- #13273 (needs rebase once 13347 is in)
- Discrete Fourier theory on
ZMod N[1 small PR] - Dirichlet L-series [1 PR]
- Special value formulae [1-2 PRs]
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Use this issue as a roadmap rather than a self-contained task. Read the upstream project branch in #10011 and the listed merged and open work, then choose a forthcoming item such as discrete Fourier theory on ZMod N, Dirichlet L-series, or special value formulae. Done means the selected work is submitted as the stated PR scope and incorporated into Mathlib.
Written by the indexing model from the issue text.
Assessment
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 15/100