Skip to content

Specialized Cauchy-Schwarz for expectations #790

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

Closed
hoheinzollern wants to merge 24 commits into from
Closed

Specialized Cauchy-Schwarz for expectations #790

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
24 commits
Select commit Hold shift + click to select a range
31ffdf1
first take at probability theory
affeldt-aist Mar 23, 2022
b777916
Lemma probability_fin
hoheinzollern Dec 9, 2022
6799793
better definition of discrete random variable
affeldt-aist Nov 25, 2022
8154fc7
fixes, cleaning
affeldt-aist Jan 24, 2023
1064afe
get rid of specialized notations
affeldt-aist Feb 23, 2023
2f292a9
get rid of specialized notations (cont'd)
affeldt-aist Feb 25, 2023
3a1391e
generalize probability_integrable_cst
affeldt-aist Mar 7, 2023
a9d1eb8
rm 'E notation, mabs and mexp
affeldt-aist Mar 9, 2023
f7ac3a0
wip
affeldt-aist Mar 10, 2023
5292715
changelog
affeldt-aist Mar 10, 2023
c11289c
fix changelog
affeldt-aist Mar 10, 2023
342b1fb
gen expectation_le
affeldt-aist Mar 14, 2023
b9763a1
generalize le_er_map
affeldt-aist Mar 17, 2023
05bce1c
tentative def of Lp spaces using quotient
affeldt-aist Mar 14, 2023
a1c906e
Update theories/probability.v
affeldt-aist Apr 10, 2023
1377f94
use powere_pos, fixes
affeldt-aist Apr 10, 2023
bf113df
fixes, cleaning
affeldt-aist Jan 24, 2023
87fe633
changelog
affeldt-aist Mar 10, 2023
96d50ea
Lp-space (test)
affeldt-aist Mar 14, 2023
6c02a81
fixes, cleaning
affeldt-aist Jan 24, 2023
9582fec
complete discrete_expectation
affeldt-aist Mar 10, 2022
1e5aee8
put in better shape to RFC
affeldt-aist Apr 14, 2022
7c40588
start working on Cauchy-Schwarz
hoheinzollern Oct 30, 2022
ac28331
reworked powere_pos
hoheinzollern Apr 1, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading