Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ak work #179

Merged
merged 44 commits into from
Jul 19, 2024
Merged

Ak work #179

merged 44 commits into from
Jul 19, 2024

Commits on May 24, 2024

  1. integrable_log_over_pow done

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    94726cf View commit details
    Browse the repository at this point in the history

  2. NormDerivZeta0Le is wrong

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    6f9ddc8 View commit details
    Browse the repository at this point in the history

  3. ZetaDerivUpperBnd work

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    a3b2b74 View commit details
    Browse the repository at this point in the history

  4. ZetaDerivUpperBnd work

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    d9d8500 View commit details
    Browse the repository at this point in the history

  5. use HasDerivAtZeta0

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    632577f View commit details
    Browse the repository at this point in the history

  6. ZetaDerivUpperBnd'

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    50786e9 View commit details
    Browse the repository at this point in the history

  7. ZetaDerivUpperBnd' statement

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    159ed49 View commit details
    Browse the repository at this point in the history

  8. norm_add₆_le

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    4b3297b View commit details
    Browse the repository at this point in the history

  9. ZetaDerivUpperBnd done

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    9fc2cd8 View commit details
    Browse the repository at this point in the history

  10. kill NormDerivZeta0Le

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    1e9ed4f View commit details
    Browse the repository at this point in the history

  11. again

    @AlexKontorovich
    AlexKontorovich committed May 24, 2024
    Configuration menu
    Copy the full SHA
    a438ac5 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. Merge branch 'main' into AK_work

    @AlexKontorovich
    AlexKontorovich committed May 29, 2024
    Configuration menu
    Copy the full SHA
    9d865e6 View commit details
    Browse the repository at this point in the history

  2. no Complex.cpow_neg

    @AlexKontorovich
    AlexKontorovich committed May 29, 2024
    Configuration menu
    Copy the full SHA
    d5f3e8a View commit details
    Browse the repository at this point in the history

  3. DerivUpperBnd_aux1

    @AlexKontorovich
    AlexKontorovich committed May 29, 2024
    Configuration menu
    Copy the full SHA
    52d1290 View commit details
    Browse the repository at this point in the history

  4. DerivUpperBnd_aux1 work

    @AlexKontorovich
    AlexKontorovich committed May 29, 2024
    Configuration menu
    Copy the full SHA
    28882e1 View commit details
    Browse the repository at this point in the history

  5. fact2 done

    @AlexKontorovich
    AlexKontorovich committed May 29, 2024
    Configuration menu
    Copy the full SHA
    9f42227 View commit details
    Browse the repository at this point in the history

  6. norm_complex_log_ofNat

    @AlexKontorovich
    AlexKontorovich committed May 29, 2024
    Configuration menu
    Copy the full SHA
    0af97ef View commit details
    Browse the repository at this point in the history

  7. fact3 done

    @AlexKontorovich
    AlexKontorovich committed May 29, 2024
    Configuration menu
    Copy the full SHA
    fe4557a View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. Real.log_natCast_monotone

    @AlexKontorovich
    AlexKontorovich committed May 30, 2024
    Configuration menu
    Copy the full SHA
    87de32f View commit details
    Browse the repository at this point in the history

  2. fact2

    @AlexKontorovich
    AlexKontorovich committed May 30, 2024
    Configuration menu
    Copy the full SHA
    097e82c View commit details
    Browse the repository at this point in the history

  3. DerivUpperBnd_aux1 work

    @AlexKontorovich
    AlexKontorovich committed May 30, 2024
    Configuration menu
    Copy the full SHA
    3d19069 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. DerivUpperBnd_aux1 work

    @AlexKontorovich
    AlexKontorovich committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    53455fc View commit details
    Browse the repository at this point in the history

  2. fact2 fix

    @AlexKontorovich
    AlexKontorovich committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    43bd7ad View commit details
    Browse the repository at this point in the history

  3. harmonic_eq_sum_Icc0

    @AlexKontorovich
    AlexKontorovich committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    ac85b0b View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. DerivUpperBnd_aux1 done

    @AlexKontorovich
    AlexKontorovich committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    86b3fe5 View commit details
    Browse the repository at this point in the history

  2. Cge done

    @AlexKontorovich
    AlexKontorovich committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    5cdee00 View commit details
    Browse the repository at this point in the history

  3. ZetaDerivUpperBnd' work

    @AlexKontorovich
    AlexKontorovich committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    b6cfd15 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. Estimate one step further in ZetaDerivUpperBnd'.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4611d3a View commit details
    Browse the repository at this point in the history

  2. Add another estimate.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    2011091 View commit details
    Browse the repository at this point in the history

  3. Add yet another estimate.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    6587e0f View commit details
    Browse the repository at this point in the history

  4. Make progress with the first integral estimate.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    adb5c85 View commit details
    Browse the repository at this point in the history

  5. Refactor with new lemmas.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    5142c5e View commit details
    Browse the repository at this point in the history

  6. Improve the estimates.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    7446812 View commit details
    Browse the repository at this point in the history

  7. Refactor.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    0cd65cf View commit details
    Browse the repository at this point in the history

  8. Clean up.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    24510e8 View commit details
    Browse the repository at this point in the history

  9. Update the constant.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    1495c31 View commit details
    Browse the repository at this point in the history

  10. Finish the final calculation in ZetaDerivUpperBnd'.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    07e3f64 View commit details
    Browse the repository at this point in the history

  11. Get rid of unused assumptions.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    c916998 View commit details
    Browse the repository at this point in the history

  12. Finish the proof of DerivUpperBnd_aux5.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    4ea346e View commit details
    Browse the repository at this point in the history

  13. Get rid of unused assumptions.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    837ae3d View commit details
    Browse the repository at this point in the history

  14. Simplify style.

    @VladaSedlacek
    VladaSedlacek committed Jun 16, 2024
    Configuration menu
    Copy the full SHA
    1d584fd View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Golf.

    @VladaSedlacek
    VladaSedlacek committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    20e995d View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. ZetaDerivUpperBnd''

    @AlexKontorovich
    AlexKontorovich committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    7f24dcf View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. Merge branch 'main' into AK_work

    @AlexKontorovich
    AlexKontorovich committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    91a7d09 View commit details
    Browse the repository at this point in the history