David Loeffler

feat (NumberTheory/ZetaFunctions): Hurwitz zeta function

1

This is a draft PR which will be split into many chunks for final submission - Abstract functional-equation argument for Mellin transforms - Refactor Riemann zeta using this - Hurwitz...

Buttons in search toolbar move under cursor

1

In TeXStudio on a Mac, when using the Find / Replace commands, the "find next" / "find previous" buttons in the toolbar move from side to side as they're used...

feat (NumberTheory/Harmonic): compute Gamma'(1/2)

3

Show `Gamma'(1/2) = -√π * (γ + 2 * log 2)` and various other related results. --- [](https://gitpod.io/from-referrer/)

feat (NumberTheory/LSeries): Hurwitz zeta

4

Add the Hurwitz zeta function (defined as the sum of its even and odd parts, which were already defined in previous PR's). --- [](https://gitpod.io/from-referrer/)

feat(Analysis/Complex): periodic holo funcs factor through exponential

2

We show that a holomorphic function which is periodic with a real period `h` is given by `f z = F (exp (2 * pi * I * z /...