| 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 |