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

Bernoulli trials and central limit theorem #1184

Closed
wants to merge 112 commits into from
Closed

Bernoulli trials and central limit theorem #1184

wants to merge 112 commits into from

Commits on Oct 25, 2023

  1. start of chernoff proof

    @hoheinzollern
    hoheinzollern committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    3a020cc View commit details
    Browse the repository at this point in the history

  2. proof completed

    @hoheinzollern
    hoheinzollern committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    7666bcf View commit details
    Browse the repository at this point in the history

  3. moment -> mgf

    @hoheinzollern
    hoheinzollern committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    4ad33ac View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. start

    @hoheinzollern
    hoheinzollern committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    fdbdae9 View commit details
    Browse the repository at this point in the history

  2. variance

    @hoheinzollern
    hoheinzollern committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    b090078 View commit details
    Browse the repository at this point in the history

  3. note

    @hoheinzollern
    hoheinzollern committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    b72c99d View commit details
    Browse the repository at this point in the history

  4. sampling_lemma

    @hoheinzollern
    hoheinzollern committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    1091b62 View commit details
    Browse the repository at this point in the history

  5. wip

    @hoheinzollern
    hoheinzollern committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    3dc02a2 View commit details
    Browse the repository at this point in the history

  6. up

    @hoheinzollern
    hoheinzollern committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    588fbe6 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. start

    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    4efeb1d View commit details
    Browse the repository at this point in the history

  2. variance

    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    cc1c671 View commit details
    Browse the repository at this point in the history

  3. note

    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    5db1fe8 View commit details
    Browse the repository at this point in the history

  4. sampling_lemma

    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    e9c1606 View commit details
    Browse the repository at this point in the history

  5. wip

    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    23a3183 View commit details
    Browse the repository at this point in the history

  6. up

    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    3087897 View commit details
    Browse the repository at this point in the history

  7. wip

    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    da7832b View commit details
    Browse the repository at this point in the history

  8. up

    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    04225a5 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'bernoulli' of github.com:hoheinzollern/analysis into be… 

    …rnoulli
    @hoheinzollern
    hoheinzollern committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    daf8307 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2023

  1. trying to use bernoulli measure

    @affeldt-aist
    affeldt-aist committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    8006c73 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #5 from affeldt-aist/bruni-bernoulli 

    trying to use bernoulli measure
    @hoheinzollern
    hoheinzollern authored Oct 31, 2023
    Configuration menu
    Copy the full SHA
    eb5413d View commit details
    Browse the repository at this point in the history

  3. up

    @hoheinzollern
    hoheinzollern committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    a5bd17c View commit details
    Browse the repository at this point in the history

  4. small progress

    @affeldt-aist
    affeldt-aist committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    422e270 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #6 from affeldt-aist/bruni-bernoulli 

    small progress
    @hoheinzollern
    hoheinzollern authored Oct 31, 2023
    Configuration menu
    Copy the full SHA
    84c7969 View commit details
    Browse the repository at this point in the history

  6. up

    @hoheinzollern
    hoheinzollern committed Oct 31, 2023
    Configuration menu
    Copy the full SHA
    6f13379 View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. bernoulli sqr

    @affeldt-aist
    affeldt-aist committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    b7015e2 View commit details
    Browse the repository at this point in the history

  2. up

    @hoheinzollern
    hoheinzollern committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    481af5c View commit details
    Browse the repository at this point in the history

  3. generalize integral_distribution but it's useless

    @affeldt-aist
    affeldt-aist committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    512d5c4 View commit details
    Browse the repository at this point in the history

  4. cp

    @affeldt-aist
    affeldt-aist committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    e0d6547 View commit details
    Browse the repository at this point in the history

  5. wip

    @affeldt-aist
    affeldt-aist committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    cfcda28 View commit details
    Browse the repository at this point in the history

  6. wip

    @hoheinzollern
    hoheinzollern committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    d6692e3 View commit details
    Browse the repository at this point in the history

  7. wip

    @hoheinzollern
    hoheinzollern committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    77ded9a View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' of https://github.com/math-comp/analysis into b… 

    …ernoulli
    @hoheinzollern
    hoheinzollern committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    6cc4ef7 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'bernoulli' of github.com:hoheinzollern/analysis into be… 

    …rnoulli
    @hoheinzollern
    hoheinzollern committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    bc829c6 View commit details
    Browse the repository at this point in the history

  10. wip

    @hoheinzollern
    hoheinzollern committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    581ddc8 View commit details
    Browse the repository at this point in the history

  11. up

    @hoheinzollern
    hoheinzollern committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    59f5f93 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. wip

    @hoheinzollern
    hoheinzollern committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    f6f65d6 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. wip

    @hoheinzollern
    hoheinzollern committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    50ca26a View commit details
    Browse the repository at this point in the history

  2. wip

    @hoheinzollern
    hoheinzollern committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    a8d7a7c View commit details
    Browse the repository at this point in the history

  3. wip

    @hoheinzollern
    hoheinzollern committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    358d95d View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. wip

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    ded26a8 View commit details
    Browse the repository at this point in the history

  2. wip

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    42ce469 View commit details
    Browse the repository at this point in the history

  3. up

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    9aab1d0 View commit details
    Browse the repository at this point in the history

  4. minor progress

    @affeldt-aist
    affeldt-aist committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    f68c778 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #7 from affeldt-aist/bruni-bernoulli 

    minor progress
    @hoheinzollern
    hoheinzollern authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    5c107f2 View commit details
    Browse the repository at this point in the history

  6. wip

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    7b58a16 View commit details
    Browse the repository at this point in the history

  7. wip

    @affeldt-aist
    affeldt-aist committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    a2eb230 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #8 from affeldt-aist/bruni-bernoulli 

    wip
    @hoheinzollern
    hoheinzollern authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    d422637 View commit details
    Browse the repository at this point in the history

  9. wip

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    a53c8b4 View commit details
    Browse the repository at this point in the history

  10. thm25

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    97d0f0f View commit details
    Browse the repository at this point in the history

  11. wip

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    65a0ec0 View commit details
    Browse the repository at this point in the history

  12. thm25

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    5a01334 View commit details
    Browse the repository at this point in the history

  13. up

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    51a8254 View commit details
    Browse the repository at this point in the history

  14. up

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    8dab46f View commit details
    Browse the repository at this point in the history

  15. up

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    de456b7 View commit details
    Browse the repository at this point in the history

  16. wip

    @affeldt-aist
    affeldt-aist committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    7c8e4e1 View commit details
    Browse the repository at this point in the history

  17. Merge pull request #9 from affeldt-aist/bruni-bernoulli 

    wip
    @hoheinzollern
    hoheinzollern authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    c4fc51a View commit details
    Browse the repository at this point in the history

  18. fix

    @affeldt-aist
    affeldt-aist committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    89de0e4 View commit details
    Browse the repository at this point in the history

  19. Merge pull request #10 from affeldt-aist/bruni-bernoulli 

    Bruni bernoulli
    @hoheinzollern
    hoheinzollern authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    c95cf17 View commit details
    Browse the repository at this point in the history

  20. up

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    b9f777f View commit details
    Browse the repository at this point in the history

  21. up

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    846ff0d View commit details
    Browse the repository at this point in the history

  22. wip

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    7e6c79f View commit details
    Browse the repository at this point in the history

  23. cor27

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    fce1f35 View commit details
    Browse the repository at this point in the history

  24. wip

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    e80ac5f View commit details
    Browse the repository at this point in the history

  25. up

    @hoheinzollern
    hoheinzollern committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    0953183 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    1839748 View commit details
    Browse the repository at this point in the history

  2. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    6a0230e View commit details
    Browse the repository at this point in the history

  3. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    3d0da3b View commit details
    Browse the repository at this point in the history

  4. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    c43c9c8 View commit details
    Browse the repository at this point in the history

  5. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    4fe1a3e View commit details
    Browse the repository at this point in the history

  6. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    47c8425 View commit details
    Browse the repository at this point in the history

  7. thm24

    @affeldt-aist
    affeldt-aist committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    14e5c73 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #11 from affeldt-aist/bruni-bernoulli 

    thm24
    @hoheinzollern
    hoheinzollern authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    3660d35 View commit details
    Browse the repository at this point in the history

  9. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    8ebec47 View commit details
    Browse the repository at this point in the history

  10. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    ed7176d View commit details
    Browse the repository at this point in the history

  11. refine thm26

    @affeldt-aist
    affeldt-aist committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    fe479fd View commit details
    Browse the repository at this point in the history

  12. Merge pull request #12 from affeldt-aist/bruni-bernoulli 

    refine thm26
    @hoheinzollern
    hoheinzollern authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    f09340d View commit details
    Browse the repository at this point in the history

  13. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    bbe6096 View commit details
    Browse the repository at this point in the history

  14. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    937bb0c View commit details
    Browse the repository at this point in the history

  15. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    7c3310e View commit details
    Browse the repository at this point in the history

  16. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    c30182b View commit details
    Browse the repository at this point in the history

  17. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    e426d3b View commit details
    Browse the repository at this point in the history

  18. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    70dfa26 View commit details
    Browse the repository at this point in the history

  19. expR_prod

    @affeldt-aist
    affeldt-aist committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    bec5832 View commit details
    Browse the repository at this point in the history

  20. Merge pull request #13 from affeldt-aist/bruni-bernoulli 

    wip
    @hoheinzollern
    hoheinzollern authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    40ec20b View commit details
    Browse the repository at this point in the history

  21. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    92420d4 View commit details
    Browse the repository at this point in the history

  22. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    7e05525 View commit details
    Browse the repository at this point in the history

  23. up

    @hoheinzollern
    hoheinzollern committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    174bbb8 View commit details
    Browse the repository at this point in the history

  24. Merge branch 'math-comp:master' into bernoulli

    @hoheinzollern
    hoheinzollern authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    4094b20 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. memo

    @affeldt-aist
    affeldt-aist committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    3808a91 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #14 from affeldt-aist/bruni-bernoulli 

    memo
    @hoheinzollern
    hoheinzollern authored Nov 9, 2023
    Configuration menu
    Copy the full SHA
    ccb74e1 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. le01_expR_ge1Dx

    @affeldt-aist
    affeldt-aist committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    72a9c5e View commit details
    Browse the repository at this point in the history

  2. Merge pull request #15 from affeldt-aist/bruni-bernoulli 

    le01_expR_ge1Dx
    @hoheinzollern
    hoheinzollern authored Nov 13, 2023
    Configuration menu
    Copy the full SHA
    0c9505e View commit details
    Browse the repository at this point in the history

  3. expR

    @hoheinzollern
    hoheinzollern committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    bda7d1a View commit details
    Browse the repository at this point in the history

  4. up

    @hoheinzollern
    hoheinzollern committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    ef84448 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. up

    @hoheinzollern
    hoheinzollern committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    f158eb2 View commit details
    Browse the repository at this point in the history

  2. up

    @hoheinzollern
    hoheinzollern committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    b66023f View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. wip

    @hoheinzollern
    hoheinzollern committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    8782937 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. up

    @hoheinzollern
    hoheinzollern committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    2686fc5 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. up

    @hoheinzollern
    hoheinzollern committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    c28882d View commit details
    Browse the repository at this point in the history

  2. product lemma

    @hoheinzollern
    hoheinzollern committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    53fcf71 View commit details
    Browse the repository at this point in the history

  3. wip

    @hoheinzollern
    hoheinzollern committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    f3ca75e View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. up

    @hoheinzollern
    hoheinzollern committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    bf05827 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. bernoulli probability measure

    @affeldt-aist
    affeldt-aist committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    add0e24 View commit details
    Browse the repository at this point in the history

  2. up

    @hoheinzollern
    hoheinzollern committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    f9983d4 View commit details
    Browse the repository at this point in the history

  3. up

    @hoheinzollern
    hoheinzollern committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    8d4b61a View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2024

  1. wip

    @affeldt-aist
    affeldt-aist committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    6717d5e View commit details
    Browse the repository at this point in the history

  2. wip

    @hoheinzollern
    hoheinzollern committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    1933a11 View commit details
    Browse the repository at this point in the history

  3. kwise_inde_weak

    @affeldt-aist
    affeldt-aist committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    04ae4dc View commit details
    Browse the repository at this point in the history

  4. complete pairwise_independentM

    @affeldt-aist
    affeldt-aist committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    d935983 View commit details
    Browse the repository at this point in the history

  5. mutually_independent_weak\ 

    bayes
    @hoheinzollern
    hoheinzollern committed Jan 5, 2024
    Configuration menu
    Copy the full SHA
    9d23b18 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. wip

    @hoheinzollern
    hoheinzollern committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    5e87738 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. wip

    @affeldt-aist
    affeldt-aist committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    bfa056d View commit details
    Browse the repository at this point in the history