I (Definitions)

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

I (Definitions)

id_of_kind [def, in infotheo.ecc_modern.ldpc_algo]
idft [def, in infotheo.lib.dft]
idft_coef [def, in infotheo.lib.dft]
Ind [def, in infotheo.probability.proba]
inde_events [def, in infotheo.probability.proba]
inde_RV [def, in infotheo.probability.proba]
index_fin_img [def, in infotheo.probability.bayes]
inj_prodA [def, in infotheo.probability.fdist]
inordf [def, in infotheo.information_theory.source_coding_vl_converse]
invariant [def, in infotheo.robust.weightedmean]
invariantW [def, in infotheo.robust.weightedmean]
is01 [def, in infotheo.robust.weightedmean]
is_Bit [def, in infotheo.ecc_modern.ldpc_erasure]
is_cgen [def, in infotheo.ecc_classic.cyclic_code]
is_convex [def, in infotheo.probability.convex]
is_convex_set [def, in infotheo.probability.convex]
is_convex_set_n [def, in infotheo.probability.convex]
is_fdist [def, in infotheo.probability.fdist]
is_nonempty [def, in infotheo.probability.necset]
is_pgen [def, in infotheo.ecc_classic.cyclic_code]
is_shannon_fano [def, in infotheo.information_theory.shannon_fano]
is_unique [def, in infotheo.ecc_modern.max_subset]
isAffine.identity_builder [def, in infotheo.probability.convex]
isAffine.phant_axioms [def, in infotheo.probability.convex]
isAffine.phant_Build [def, in infotheo.probability.convex]
isBiglubMorph.identity_builder [def, in infotheo.probability.necset]
isBiglubMorph.phant_axioms [def, in infotheo.probability.necset]
isBiglubMorph.phant_Build [def, in infotheo.probability.necset]
isConcaveFunction.identity_builder [def, in infotheo.probability.convex]
isConcaveFunction.phant_axioms [def, in infotheo.probability.convex]
isConcaveFunction.phant_Build [def, in infotheo.probability.convex]
isConvexFunction.identity_builder [def, in infotheo.probability.convex]
isConvexFunction.phant_axioms [def, in infotheo.probability.convex]
isConvexFunction.phant_Build [def, in infotheo.probability.convex]
isConvexSet.identity_builder [def, in infotheo.probability.convex]
isConvexSet.phant_axioms [def, in infotheo.probability.convex]
isConvexSet.phant_Build [def, in infotheo.probability.convex]
isConvexSpace.isConvexSpace_T__canonical__choice_Choice [def, in infotheo.probability.convex]
isConvexSpace.isConvexSpace_T__canonical__eqtype_Equality [def, in infotheo.probability.convex]
isConvexSpace.phant_axioms [def, in infotheo.probability.convex]
isConvexSpace.phant_Build [def, in infotheo.probability.convex]
isConvexSpace0.identity_builder [def, in infotheo.probability.convex]
isConvexSpace0.isConvexSpace0_T__canonical__choice_Choice [def, in infotheo.probability.convex]
isConvexSpace0.isConvexSpace0_T__canonical__eqtype_Equality [def, in infotheo.probability.convex]
isConvexSpace0.phant_axioms [def, in infotheo.probability.convex]
isConvexSpace0.phant_Build [def, in infotheo.probability.convex]
isNaryBaryMapConstConvexSpace.isNaryBaryMapConstConvexSpace_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
isNaryBaryMapConstConvexSpace.isNaryBaryMapConstConvexSpace_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
isNaryBaryMapConstConvexSpace.isNaryBaryMapConstConvexSpace_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
isNaryBaryMapConstConvexSpace.phant_axioms [def, in infotheo.probability.convex_equiv]
isNaryBaryMapConstConvexSpace.phant_Build [def, in infotheo.probability.convex_equiv]
isNaryBarypartIdemConvexSpace.isNaryBarypartIdemConvexSpace_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
isNaryBarypartIdemConvexSpace.isNaryBarypartIdemConvexSpace_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
isNaryBarypartIdemConvexSpace.isNaryBarypartIdemConvexSpace_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
isNaryBarypartIdemConvexSpace.phant_axioms [def, in infotheo.probability.convex_equiv]
isNaryBarypartIdemConvexSpace.phant_Build [def, in infotheo.probability.convex_equiv]
isNaryBeaulieuConvexSpace.isNaryBeaulieuConvexSpace_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
isNaryBeaulieuConvexSpace.isNaryBeaulieuConvexSpace_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
isNaryBeaulieuConvexSpace.isNaryBeaulieuConvexSpace_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
isNaryBeaulieuConvexSpace.phant_axioms [def, in infotheo.probability.convex_equiv]
isNaryBeaulieuConvexSpace.phant_Build [def, in infotheo.probability.convex_equiv]
isNaryConvexSpace.identity_builder [def, in infotheo.probability.convex_equiv]
isNaryConvexSpace.isNaryConvexSpace_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
isNaryConvexSpace.isNaryConvexSpace_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
isNaryConvexSpace.isNaryConvexSpace_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
isNaryConvexSpace.phant_axioms [def, in infotheo.probability.convex_equiv]
isNaryConvexSpace.phant_Build [def, in infotheo.probability.convex_equiv]
isNaryProjPartConstConvexSpace.isNaryProjPartConstConvexSpace_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
isNaryProjPartConstConvexSpace.isNaryProjPartConstConvexSpace_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
isNaryProjPartConstConvexSpace.isNaryProjPartConstConvexSpace_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
isNaryProjPartConstConvexSpace.phant_axioms [def, in infotheo.probability.convex_equiv]
isNaryProjPartConstConvexSpace.phant_Build [def, in infotheo.probability.convex_equiv]
isNESet.identity_builder [def, in infotheo.probability.necset]
isNESet.phant_axioms [def, in infotheo.probability.necset]
isNESet.phant_Build [def, in infotheo.probability.necset]
iSP_BEC0 [def, in infotheo.ecc_modern.ldpc_erasure]
isQuasiRealCone.identity_builder [def, in infotheo.probability.convex]
isQuasiRealCone.isQuasiRealCone_A__canonical__choice_Choice [def, in infotheo.probability.convex]
isQuasiRealCone.isQuasiRealCone_A__canonical__eqtype_Equality [def, in infotheo.probability.convex]
isQuasiRealCone.phant_axioms [def, in infotheo.probability.convex]
isQuasiRealCone.phant_Build [def, in infotheo.probability.convex]
isRealCone.identity_builder [def, in infotheo.probability.convex]
isRealCone.isRealCone_A__canonical__choice_Choice [def, in infotheo.probability.convex]
isRealCone.isRealCone_A__canonical__convex_QuasiRealCone [def, in infotheo.probability.convex]
isRealCone.isRealCone_A__canonical__eqtype_Equality [def, in infotheo.probability.convex]
isRealCone.phant_axioms [def, in infotheo.probability.convex]
isRealCone.phant_Build [def, in infotheo.probability.convex]
isSemiCompSemiLatt.identity_builder [def, in infotheo.probability.necset]
isSemiCompSemiLatt.isSemiCompSemiLatt_T__canonical__choice_Choice [def, in infotheo.probability.necset]
isSemiCompSemiLatt.isSemiCompSemiLatt_T__canonical__eqtype_Equality [def, in infotheo.probability.necset]
isSemiCompSemiLatt.isSemiCompSemiLatt_T__canonical__necset_SemiLattice [def, in infotheo.probability.necset]
isSemiCompSemiLatt.phant_axioms [def, in infotheo.probability.necset]
isSemiCompSemiLatt.phant_Build [def, in infotheo.probability.necset]
isSemiCompSemiLattConv.identity_builder [def, in infotheo.probability.necset]
isSemiCompSemiLattConv.isSemiCompSemiLattConv_L__canonical__choice_Choice [def, in infotheo.probability.necset]
isSemiCompSemiLattConv.isSemiCompSemiLattConv_L__canonical__convex_ConvexSpace [def, in infotheo.probability.necset]
isSemiCompSemiLattConv.isSemiCompSemiLattConv_L__canonical__eqtype_Equality [def, in infotheo.probability.necset]
isSemiCompSemiLattConv.isSemiCompSemiLattConv_L__canonical__necset_SemiCompSemiLatt [def, in infotheo.probability.necset]
isSemiCompSemiLattConv.isSemiCompSemiLattConv_L__canonical__necset_SemiLattice [def, in infotheo.probability.necset]
isSemiCompSemiLattConv.phant_axioms [def, in infotheo.probability.necset]
isSemiCompSemiLattConv.phant_Build [def, in infotheo.probability.necset]
isSemiLattConv.identity_builder [def, in infotheo.probability.necset]
isSemiLattConv.isSemiLattConv_L__canonical__choice_Choice [def, in infotheo.probability.necset]
isSemiLattConv.isSemiLattConv_L__canonical__convex_ConvexSpace [def, in infotheo.probability.necset]
isSemiLattConv.isSemiLattConv_L__canonical__eqtype_Equality [def, in infotheo.probability.necset]
isSemiLattConv.isSemiLattConv_L__canonical__necset_SemiLattice [def, in infotheo.probability.necset]
isSemiLattConv.phant_axioms [def, in infotheo.probability.necset]
isSemiLattConv.phant_Build [def, in infotheo.probability.necset]
isSemiLattice.identity_builder [def, in infotheo.probability.necset]
isSemiLattice.isSemiLattice_T__canonical__choice_Choice [def, in infotheo.probability.necset]
isSemiLattice.isSemiLattice_T__canonical__eqtype_Equality [def, in infotheo.probability.necset]
isSemiLattice.phant_axioms [def, in infotheo.probability.necset]
isSemiLattice.phant_Build [def, in infotheo.probability.necset]
iter_conv_cset_is_convex [def, in infotheo.probability.necset]
iter_conv_set [def, in infotheo.probability.necset]
iter_conv_set_neq0 [def, in infotheo.probability.necset]