IndisputableMonolith.Verification.CPT.Exports

declarations in this module (18)

• theorem WINDOW_identifiable_iff_trivialKernel L33
• theorem WINDOW_identifiable_iff_fullColumnRank L39
• theorem WINDOW_zero_detection_of_identifiable L45
• theorem CPT_PIPELINE_factorization L56
• theorem CPT_PIPELINE_sound L65
• theorem CPT_PIPELINE_nonzero_sound L76
• theorem CPT_OPT_phiStar_dominates L91
• theorem CPT_OPT_phiStar_dominates_global L103
• theorem CPT_FACTOR_exists_monotone_reparam L119
• theorem CPT_FACTOR_phi_independent_of_state L135
• theorem CPT_FACTOR_forced_factorization L144
• theorem CPT_FACTOR_forced_factorization_unique L160
• theorem CPT_FACTOR_forced_factorization_unique_of_primitives L174
• theorem RANK_vandermonde_det_ne_zero L191
• theorem RANK_hankel_det_ne_zero L199
• theorem RANK_identifiability_locus_nonempty L207
• theorem CPT_EPS_approx_argmin_stability L219
• theorem CPT_EPS_approx_argmin_mem_meanEps L229