contin_imp_inc.con.body.xml
contin_imp_inc.con.types.xml
contin_prop.con.body.xml
contin_prop.con.types.xml
Continuous_I_abs.con.body.xml
Continuous_I_abs.con.types.xml
Continuous_I.con.body.xml
Continuous_I_const.con.body.xml
Continuous_I_const.con.types.xml
Continuous_I.con.types.xml
Continuous_I_div.con.body.xml
Continuous_I_div.con.types.xml
Continuous_I_id.con.body.xml
Continuous_I_id.con.types.xml
Continuous_I_imp_abs_lub.con.body.xml
Continuous_I_imp_abs_lub.con.types.xml
Continuous_I_imp_glb.con.body.xml
Continuous_I_imp_glb.con.types.xml
Continuous_I_imp_lub.con.body.xml
Continuous_I_imp_lub.con.types.xml
Continuous_I_imp_tb_image.con.body.xml
Continuous_I_imp_tb_image.con.types.xml
Continuous_I_inv.con.body.xml
Continuous_I_inv.con.types.xml
Continuous_I_max.con.body.xml
Continuous_I_max.con.types.xml
Continuous_I_min.con.body.xml
Continuous_I_min.con.types.xml
Continuous_I_minus.con.body.xml
Continuous_I_minus.con.types.xml
Continuous_I_mult.con.body.xml
Continuous_I_mult.con.types.xml
Continuous_I_nth.con.body.xml
Continuous_I_nth.con.types.xml
Continuous_I_plus.con.body.xml
Continuous_I_plus.con.types.xml
Continuous_I_recip.con.body.xml
Continuous_I_recip.con.types.xml
Continuous_I_scal.con.body.xml
Continuous_I_scal.con.types.xml
Continuous_I_Sum0.con.body.xml
Continuous_I_Sum0.con.types.xml
Continuous_I_Sum.con.body.xml
Continuous_I_Sum.con.types.xml
Continuous_I_Sumx.con.body.xml
Continuous_I_Sumx.con.types.xml
Continuous_I_wd.con.body.xml
Continuous_I_wd.con.types.xml
cont_no_sign_change.con.body.xml
cont_no_sign_change.con.types.xml
cont_no_sign_change_neg.con.body.xml
cont_no_sign_change_neg.con.types.xml
cont_no_sign_change_pos.con.body.xml
cont_no_sign_change_pos.con.types.xml
Corolaries/
Definitions_and_Basic_Results/
glb_charact.con.body.xml
glb_charact.con.types.xml
glb_funct.con.body.xml
glb_funct.con.types.xml
glb_is_glb.con.body.xml
glb_is_glb.con.types.xml
glb_prop.con.body.xml
glb_prop.con.types.xml
included_imp_contin.con.body.xml
included_imp_contin.con.types.xml
included_imp_norm_leEq.con.body.xml
included_imp_norm_leEq.con.types.xml
leEq_glb.con.body.xml
leEq_glb.con.types.xml
leEq_Norm_Funct.con.body.xml
leEq_Norm_Funct.con.types.xml
less_Norm_Funct.con.body.xml
less_Norm_Funct.con.types.xml
Local_Results/
lub_charact.con.body.xml
lub_charact.con.types.xml
lub_funct.con.body.xml
lub_funct.con.types.xml
lub_is_lub.con.body.xml
lub_is_lub.con.types.xml
lub_prop.con.body.xml
lub_prop.con.types.xml
norm_bnd_AbsIR.con.body.xml
norm_bnd_AbsIR.con.types.xml
Norm_Funct.con.body.xml
Norm_Funct.con.types.xml
Norm_Funct_wd.con.body.xml
Norm_Funct_wd.con.types.xml
norm_fun_lub.con.body.xml
norm_fun_lub.con.types.xml
Other/
positive_norm.con.body.xml
positive_norm.con.types.xml