| Wed, 10 Oct 2012 12:12:34 +0200 |
hoelzl |
strong nonnegativ (instead of ae nn) for induction rule
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:33 +0200 |
hoelzl |
induction prove for positive_integral_density
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:32 +0200 |
hoelzl |
add induction rules for simple functions and for Borel measurable functions
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:32 +0200 |
hoelzl |
introduce induction rules for simple functions and for Borel measurable functions
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:31 +0200 |
hoelzl |
joint distribution of independent variables
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:30 +0200 |
hoelzl |
indep_vars does not need sigma-sets
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:29 +0200 |
hoelzl |
simplified definitions
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:29 +0200 |
hoelzl |
remove unnecessary assumption from conditional_entropy_eq
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:28 +0200 |
hoelzl |
alternative definition of conditional entropy
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:27 +0200 |
hoelzl |
remove unneeded assumption from conditional_entropy_generic_eq
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:27 +0200 |
hoelzl |
add induction rule for intersection-stable sigma-sets
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:26 +0200 |
hoelzl |
show and use distributed_swap and distributed_jointI
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:25 +0200 |
hoelzl |
rule to show that conditional mutual information is non-negative in the continuous case
|
changeset |
files
|
| Wed, 10 Oct 2012 12:12:25 +0200 |
hoelzl |
continuous version of entropy_le
|
changeset |
files
|