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

K

k [def, in infotheo.information_theory.source_coding_fl_direct]
K949 [def, in infotheo.ecc_modern.ldpc]
K949_lemma [prf, in infotheo.ecc_modern.ldpc]
kernel [def, in infotheo.ecc_classic.linearcode]
kernel_checksubsum [prf, in infotheo.ecc_modern.checksum]
kernel_checksubsum0 [prf, in infotheo.ecc_modern.checksum]
kernel_checksubsum1 [prf, in infotheo.ecc_modern.checksum]
kf [constr, in infotheo.ecc_modern.ldpc_algo]
kind [ind, in infotheo.ecc_modern.ldpc_algo]
kind_eq_bool [def, in infotheo.ecc_modern.ldpc_algo_proof]
kind_eqP [prf, in infotheo.ecc_modern.ldpc_algo_proof]
kind_filter [prf, in infotheo.ecc_modern.ldpc_algo_proof]
kind_ind [scheme, in infotheo.ecc_modern.ldpc_algo]
kind_of_id [def, in infotheo.ecc_modern.ldpc_algo]
kind_rec [scheme, in infotheo.ecc_modern.ldpc_algo]
kind_rect [scheme, in infotheo.ecc_modern.ldpc_algo]
kind_sind [scheme, in infotheo.ecc_modern.ldpc_algo]
Kop_proof [prf, in infotheo.ecc_modern.ldpc_erasure]
kraft [file, in infotheo.information_theory.kraft]
kraft_cond [def, in infotheo.information_theory.kraft]
kraft_implies_prefix [prf, in infotheo.information_theory.kraft]
kv [constr, in infotheo.ecc_modern.ldpc_algo]
kwise_inde [def, in infotheo.probability.proba]