C (Definitions)

Files

I

O

Q

U

X

Y

Z

_

Definitions

Y

_

Lemmas

Y

_

Abbreviations

G

K

T

U

V

X

Y

Z

_

Global Index

Y

_

C (Definitions)

cal_E [def, in infotheo.information_theory.channel_coding_direct]
cancel_both [def, in infotheo.probability.bayes]
cancel_on [def, in infotheo.ecc_classic.decoding]
canonical_cgen [def, in infotheo.ecc_classic.cyclic_code]
capacity [def, in infotheo.information_theory.channel]
card_ball [def, in infotheo.ecc_classic.linearcode]
card_type_of_row [def, in infotheo.information_theory.jtypes]
cast_cols [def, in infotheo.ecc_classic.linearcode]
cast_fun_rV1 [def, in infotheo.probability.proba]
cast_fun_rV10 [def, in infotheo.probability.proba]
cast_RV_fdist_rV1 [def, in infotheo.probability.proba]
cast_RV_fdist_rV10 [def, in infotheo.probability.proba]
ccode_coercion [def, in infotheo.ecc_classic.cyclic_code]
cdiv [def, in infotheo.information_theory.conditional_divergence]
cdiv1 [def, in infotheo.information_theory.entropy]
cdom_by [def, in infotheo.information_theory.conditional_divergence]
centropy [def, in infotheo.information_theory.entropy]
centropy1 [def, in infotheo.information_theory.entropy]
centropy1_RV [def, in infotheo.information_theory.entropy]
centropy_RV [def, in infotheo.information_theory.entropy]
cEx [def, in infotheo.probability.proba]
chan_of_jtype [def, in infotheo.information_theory.jtypes]
chan_star_coercion [def, in infotheo.information_theory.channel]
change_dist [def, in infotheo.robust.weightedmean]
checksubsum [def, in infotheo.ecc_modern.checksum]
choice_Choice__to__choice_hasChoice [def, in infotheo.probability.fsdist]
choice_Choice__to__choice_hasChoice [def, in infotheo.probability.fdist]
choice_Choice__to__choice_hasChoice [def, in infotheo.probability.convex]
choice_Choice__to__eqtype_hasDecEq [def, in infotheo.probability.fdist]
choice_Choice__to__eqtype_hasDecEq [def, in infotheo.probability.convex]
choice_isCountable__to__choice_Choice_isCountable [def, in infotheo.information_theory.types]
choice_isCountable__to__choice_Choice_isCountable [def, in infotheo.information_theory.jtypes]
choice_isCountable__to__choice_Choice_isCountable [def, in infotheo.ecc_modern.ldpc_erasure]
choice_isCountable__to__choice_Choice_isCountable__14 [def, in infotheo.information_theory.jtypes]
choice_isCountable__to__choice_hasChoice [def, in infotheo.information_theory.types]
choice_isCountable__to__choice_hasChoice [def, in infotheo.information_theory.jtypes]
choice_isCountable__to__choice_hasChoice [def, in infotheo.ecc_modern.ldpc_erasure]
choice_isCountable__to__choice_hasChoice__16 [def, in infotheo.information_theory.jtypes]
choice_isCountable__to__eqtype_hasDecEq [def, in infotheo.information_theory.types]
choice_isCountable__to__eqtype_hasDecEq [def, in infotheo.information_theory.jtypes]
choice_isCountable__to__eqtype_hasDecEq__18 [def, in infotheo.information_theory.jtypes]
cinde_events [def, in infotheo.probability.proba]
cinde_RV [def, in infotheo.probability.proba]
classical_sets_bigcup__canonical__necset_NESet [def, in infotheo.probability.necset]
classical_sets_image__canonical__necset_NESet [def, in infotheo.probability.necset]
classical_sets_set0__canonical__convex_ConvexSet [def, in infotheo.probability.convex]
classical_sets_set1__canonical__convex_ConvexSet [def, in infotheo.probability.convex]
classical_sets_set1__canonical__necset_NECSet [def, in infotheo.probability.necset]
classical_sets_set1__canonical__necset_NESet [def, in infotheo.probability.necset]
classical_sets_setU__canonical__necset_NESet [def, in infotheo.probability.necset]
code_set_cw_of_code_set [def, in infotheo.information_theory.kraft]
code_set_of_code_set_cw [def, in infotheo.information_theory.kraft]
code_set_predType [def, in infotheo.information_theory.kraft]
CodeErrRate [def, in infotheo.information_theory.channel_code]
CodeRate [def, in infotheo.information_theory.channel_code]
codeword_lowest_deg [def, in infotheo.ecc_classic.linearcode]
CodomDFDist.d [def, in infotheo.probability.fdist]
CodomDFDist.d' [def, in infotheo.probability.fdist]
CodomDFDist.f [def, in infotheo.probability.fdist]
col_of_bitseq [def, in infotheo.lib.ssralg_ext]
col_of_seq [def, in infotheo.lib.ssralg_ext]
colFnext [def, in infotheo.ecc_modern.ldpc_erasure]
ColFnext [def, in infotheo.ecc_modern.ldpc_erasure]
colFnextD1 [def, in infotheo.ecc_modern.ldpc_erasure]
colorable [def, in infotheo.ecc_modern.subgraph_partition]
cols_starblank [def, in infotheo.ecc_modern.stopping_set]
comb [def, in infotheo.ecc_modern.summary_tanner]
comb_V [def, in infotheo.ecc_modern.summary_tanner]
comb_V2 [def, in infotheo.ecc_modern.summary_tanner]
comp_RV [def, in infotheo.probability.proba]
computed_tree_spec [def, in infotheo.ecc_modern.ldpc_algo]
concave_function [def, in infotheo.probability.convex]
concave_function_at [def, in infotheo.probability.convex]
concave_function_at' [def, in infotheo.probability.convex]
concave_function_in [def, in infotheo.probability.convex]
concave_functionP [def, in infotheo.probability.convex]
ConcaveFunction.pack_ [def, in infotheo.probability.convex]
ConcaveFunction.phant_clone [def, in infotheo.probability.convex]
ConcaveFunction.phant_on_ [def, in infotheo.probability.convex]
cond_entropy_chan [def, in infotheo.information_theory.channel]
cond_mutual_info [def, in infotheo.information_theory.entropy]
cond_relative_entropy [def, in infotheo.information_theory.entropy]
cond_type [def, in infotheo.information_theory.jtypes]
conditional_entropy_example.d [def, in infotheo.toy_examples.conditional_entropy]
conditional_entropy_example.f [def, in infotheo.toy_examples.conditional_entropy]
conditional_entropy_example.one [def, in infotheo.toy_examples.conditional_entropy]
conditional_entropy_example.three [def, in infotheo.toy_examples.conditional_entropy]
conditional_entropy_example.two [def, in infotheo.toy_examples.conditional_entropy]
conditional_entropy_example.zero [def, in infotheo.toy_examples.conditional_entropy]
cons_tuples [def, in infotheo.information_theory.jtypes]
const_RV [def, in infotheo.probability.proba]
conv [def, in infotheo.probability.convex]
conv1 [def, in infotheo.probability.convex]
conv_pt_set [def, in infotheo.probability.necset]
conv_set [def, in infotheo.probability.necset]
convA [def, in infotheo.probability.convex]
convC [def, in infotheo.probability.convex]
convex_addpt__canonical__Monoid_ComLaw [def, in infotheo.probability.convex]
convex_addpt__canonical__Monoid_Law [def, in infotheo.probability.convex]
convex_addpt__canonical__SemiGroup_ComLaw [def, in infotheo.probability.convex]
convex_addpt__canonical__SemiGroup_Law [def, in infotheo.probability.convex]
convex_ConvexSet__to__convex_isConvexSet [def, in infotheo.probability.necset]
convex_function [def, in infotheo.probability.convex]
convex_function_at [def, in infotheo.probability.convex]
convex_function_at_Convn [def, in infotheo.probability.convex]
convex_function_in [def, in infotheo.probability.convex]
convex_functionP [def, in infotheo.probability.convex]
convex_hull__canonical__convex_ConvexSet [def, in infotheo.probability.convex]
convex_hull__canonical__necset_NECSet [def, in infotheo.probability.necset]
convex_hull__canonical__necset_NESet [def, in infotheo.probability.necset]
convex_in_both [def, in infotheo.probability.convex]
convex_isConvexSet__to__convex_isConvexSet [def, in infotheo.probability.necset]
convex_isConvexSet__to__convex_isConvexSet__64 [def, in infotheo.probability.necset]
convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.necset]
convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.fsdist]
convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex_equiv]
convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex]
convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.information_theory.entropy_convex]
convex_map_scaled__canonical__convex_Affine [def, in infotheo.probability.convex]
convex_OrderedConvexSpace__to__choice_hasChoice [def, in infotheo.probability.convex]
convex_OrderedConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex]
convex_OrderedConvexSpace__to__eqtype_hasDecEq [def, in infotheo.probability.convex]
convex_Rnonneg_interval__canonical__convex_ConvexSet [def, in infotheo.probability.convex]
convex_Rpos_interval__canonical__convex_ConvexSet [def, in infotheo.probability.convex]
convex_S1__canonical__convex_Affine [def, in infotheo.probability.convex]
convex_scaled__canonical__choice_Choice [def, in infotheo.probability.convex]
convex_scaled__canonical__convex_ConvexSpace [def, in infotheo.probability.convex]
convex_scaled__canonical__convex_QuasiRealCone [def, in infotheo.probability.convex]
convex_scaled__canonical__convex_RealCone [def, in infotheo.probability.convex]
convex_scaled__canonical__eqtype_Equality [def, in infotheo.probability.convex]
convex_segment__canonical__convex_ConvexSet [def, in infotheo.probability.convex]
convex_uniti__canonical__convex_ConvexSet [def, in infotheo.probability.convex]
ConvexFunction.pack_ [def, in infotheo.probability.convex]
ConvexFunction.phant_clone [def, in infotheo.probability.convex]
ConvexFunction.phant_on_ [def, in infotheo.probability.convex]
ConvexSet.pack_ [def, in infotheo.probability.convex]
ConvexSet.phant_clone [def, in infotheo.probability.convex]
ConvexSet.phant_on_ [def, in infotheo.probability.convex]
ConvexSet_type__canonical__eqtype_Equality [def, in infotheo.probability.convex]
ConvexSpace.Exports.convex_ConvexSpace__to__choice_Choice [def, in infotheo.probability.convex]
ConvexSpace.Exports.convex_ConvexSpace__to__eqtype_Equality [def, in infotheo.probability.convex]
ConvexSpace.Exports.convex_ConvexSpace_class__to__choice_Choice_class [def, in infotheo.probability.convex]
ConvexSpace.Exports.convex_ConvexSpace_class__to__eqtype_Equality_class [def, in infotheo.probability.convex]
ConvexSpace.pack_ [def, in infotheo.probability.convex]
ConvexSpace.phant_clone [def, in infotheo.probability.convex]
ConvexSpace.phant_on_ [def, in infotheo.probability.convex]
convmm [def, in infotheo.probability.convex]
convn [def, in infotheo.probability.convex_equiv]
convn [def, in infotheo.probability.convex]
Convn [def, in infotheo.probability.convex]
Convn_finType.Convn_finType [def, in infotheo.probability.convex]
Convn_finType.d [def, in infotheo.probability.convex]
Convn_finType.d_enum [def, in infotheo.probability.convex]
Convn_finType.t0 [def, in infotheo.probability.convex]
Convn_of_fsdist [def, in infotheo.probability.fsdist]
convnE [def, in infotheo.probability.convex]
coqRE [def, in infotheo.lib.coqRE]
counterexample_bary_const_noproj.Datatypes_bool__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
counterexample_bary_const_noproj.HB_unnamed_factory_48 [def, in infotheo.probability.convex_equiv]
counterexample_bary_const_noproj.proj_1st [def, in infotheo.probability.convex_equiv]
counterexample_bary_const_noproj.test [def, in infotheo.probability.convex_equiv]
counterexample_bary_const_noproj.test [def, in infotheo.probability.convex_equiv]
counterexample_part_const_noproj.bigand [def, in infotheo.probability.convex_equiv]
counterexample_part_const_noproj.Datatypes_bool__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
counterexample_part_const_noproj.HB_unnamed_factory_52 [def, in infotheo.probability.convex_equiv]
counterexample_part_const_noproj.test [def, in infotheo.probability.convex_equiv]
counterexample_part_const_noproj.test [def, in infotheo.probability.convex_equiv]
counterexample_proj_part_noconst_noidem.Datatypes_nat__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
counterexample_proj_part_noconst_noidem.HB_unnamed_factory_50 [def, in infotheo.probability.convex_equiv]
counterexample_proj_part_noconst_noidem.test [def, in infotheo.probability.convex_equiv]
counterexample_proj_part_noconst_noidem.test [def, in infotheo.probability.convex_equiv]
counterexample_proj_part_noconst_noidem.weight1_sum [def, in infotheo.probability.convex_equiv]
Cov [def, in infotheo.robust.robustmean]
covered_by [def, in infotheo.ecc_modern.max_subset]
cPr [def, in infotheo.probability.proba]
cPr_eq [def, in infotheo.probability.proba]
cpr_in [def, in infotheo.probability.proba]
cset_predType [def, in infotheo.probability.convex]
cV_of_nat [def, in infotheo.lib.natbin]
cVar [def, in infotheo.robust.robustmean]