Revision #1833 → #2381 · back to history
addedHadamard factorization (invoked)6ffee82068ca
modifiedStrict logarithmic convexityce0ef0231d48
| Field | From #1833 | To #2381 |
|---|
| kind | theorem | proposition |
addedKaratsuba algorithm for Gammac2fcc68f4043
addedAGM iteration for Gamma at rationals8abad9d1dab1
addedTrivial zeros of the Riemann zeta functionb39b473d53f3