X (Global Index)

Files

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Definitions

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Lemmas

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Abbreviations

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Global Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Notations

X

X [def, in infotheo.toy_examples.expected_value_variance_tuple]
X [def, in infotheo.toy_examples.expected_value_variance_ordn]
X [def, in infotheo.toy_examples.expected_value_variance]
x_x2_eq [prf, in infotheo.lib.realType_ext]
x_x2_max [prf, in infotheo.lib.realType_ext]
x_x2_nneg [prf, in infotheo.lib.realType_ext]
x_x2_pos [prf, in infotheo.lib.realType_ext]
xlnx [def, in infotheo.lib.realType_ln]
xlnx_0 [prf, in infotheo.lib.realType_ln]
xlnx_1 [prf, in infotheo.lib.realType_ln]
xlnx_decreasing_0_Rinv_e [prf, in infotheo.lib.realType_ln]
xlnx_delta [def, in infotheo.lib.realType_ln]
xlnx_delta_bound [prf, in infotheo.lib.realType_ln]
xlnx_entropy [prf, in infotheo.information_theory.entropy]
xlnx_ineq [prf, in infotheo.lib.realType_ln]
xlnx_neg [prf, in infotheo.lib.realType_ln]
xlnx_sdecreasing_0_Rinv_e [prf, in infotheo.lib.realType_ln]
xlnx_total [def, in infotheo.lib.realType_ln]
xlnx_total_neg [prf, in infotheo.lib.realType_ln]
xOs [def, in infotheo.lib.natbin]
Xpos [prf, in infotheo.information_theory.source_coding_vl_converse]