Index of /xml/CoRN/algebra/CPolynomials

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]CPoly_CRing/2005-07-05 08:13 -  
[DIR]CPoly_CRing_ctd/2005-07-05 08:13 -  
[ ]Ccpoly_double_comp_ind.con.body.xml.gz2004-11-09 10:54 4.1K 
[ ]Ccpoly_double_comp_ind.con.types.xml.gz2004-11-09 10:54 3.9K 
[ ]Ccpoly_double_comp_ind.con.xml.gz2004-11-09 10:54 1.2K 
[ ]Ccpoly_double_ind0'.con.body.xml.gz2004-11-09 10:54 1.9K 
[ ]Ccpoly_double_ind0'.con.types.xml.gz2004-11-09 10:54 1.8K 
[ ]Ccpoly_double_ind0'.con.xml.gz2004-11-09 10:54 1.1K 
[ ]Ccpoly_double_ind0.con.body.xml.gz2004-11-09 10:54 1.8K 
[ ]Ccpoly_double_ind0.con.types.xml.gz2004-11-09 10:54 1.8K 
[ ]Ccpoly_double_ind0.con.xml.gz2004-11-09 10:54 1.0K 
[ ]Ccpoly_double_ind0_cs.con.body.xml.gz2004-11-09 10:54 1.9K 
[ ]Ccpoly_double_ind0_cs.con.types.xml.gz2004-11-09 10:54 2.1K 
[ ]Ccpoly_double_ind0_cs.con.xml.gz2004-11-09 10:54 1.0K 
[ ]Ccpoly_double_sym_ind.con.body.xml.gz2004-11-09 10:54 350  
[ ]Ccpoly_double_sym_ind.con.types.xml.gz2004-11-09 10:54 5.0K 
[ ]Ccpoly_double_sym_ind.con.xml.gz2004-11-09 10:54 2.3K 
[ ]Ccpoly_double_sym_ind0.con.body.xml.gz2004-11-09 10:54 1.2K 
[ ]Ccpoly_double_sym_ind0.con.types.xml.gz2004-11-09 10:54 1.4K 
[ ]Ccpoly_double_sym_ind0.con.xml.gz2004-11-09 10:54 1.0K 
[ ]Ccpoly_double_sym_ind0_cs.con.body.xml.gz2004-11-09 10:54 1.3K 
[ ]Ccpoly_double_sym_ind0_cs.con.types.xml.gz2004-11-09 10:54 2.3K 
[ ]Ccpoly_double_sym_ind0_cs.con.xml.gz2004-11-09 10:54 1.1K 
[ ]Ccpoly_ind_cs.con.body.xml.gz2004-11-09 10:54 1.1K 
[ ]Ccpoly_ind_cs.con.types.xml.gz2004-11-09 10:54 1.2K 
[ ]Ccpoly_ind_cs.con.xml.gz2004-11-09 10:54 787  
[ ]Ccpoly_induc.con.body.xml.gz2004-11-09 10:54 333  
[ ]Ccpoly_induc.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]Ccpoly_induc.con.xml.gz2004-11-09 10:54 1.4K 
[ ]Ccpoly_triple_comp_ind.con.body.xml.gz2004-11-09 10:54 5.9K 
[ ]Ccpoly_triple_comp_ind.con.types.xml.gz2004-11-09 10:54 5.7K 
[ ]Ccpoly_triple_comp_ind.con.xml.gz2004-11-09 10:54 1.5K 
[ ]Cpoly_double_comp_ind.con.body.xml.gz2004-11-09 10:54 348  
[ ]Cpoly_double_comp_ind.con.types.xml.gz2004-11-09 10:54 6.2K 
[ ]Cpoly_double_comp_ind.con.xml.gz2004-11-09 10:54 2.8K 
[ ]Cpoly_triple_comp_ind.con.body.xml.gz2004-11-09 10:54 348  
[ ]Cpoly_triple_comp_ind.con.types.xml.gz2004-11-09 10:54 8.4K 
[ ]Cpoly_triple_comp_ind.con.xml.gz2004-11-09 10:54 3.8K 
[ ]INDEX2005-07-05 08:11 10K 
[DIR]Poly_Prop_Induction/2005-07-05 08:13 -  
[DIR]Poly_properties/2005-07-05 08:13 -  
[ ]Sum0_cpoly_ap.con.body.xml.gz2004-11-09 10:55 15K 
[ ]Sum0_cpoly_ap.con.types.xml.gz2004-11-09 10:55 19K 
[ ]Sum0_cpoly_ap.con.xml.gz2004-11-09 10:55 1.7K 
[ ]Sum_cpoly_ap.con.body.xml.gz2004-11-09 10:55 17K 
[ ]Sum_cpoly_ap.con.types.xml.gz2004-11-09 10:55 21K 
[ ]Sum_cpoly_ap.con.xml.gz2004-11-09 10:55 1.7K 
[ ]_C_.con.body.xml.gz2004-11-09 10:54 608  
[ ]_C_.con.types.xml.gz2004-11-09 10:54 196  
[ ]_C_.con.xml.gz2004-11-09 10:54 556  
[ ]_X_.con.body.xml.gz2004-11-09 10:54 578  
[ ]_X_.con.types.xml.gz2004-11-09 10:54 196  
[ ]_X_.con.xml.gz2004-11-09 10:54 415  
[ ]_c_apply.con.body.xml.gz2004-11-09 10:54 2.8K 
[ ]_c_apply.con.types.xml.gz2004-11-09 10:54 4.6K 
[ ]_c_apply.con.xml.gz2004-11-09 10:54 1.3K 
[ ]_c_mult.con.body.xml.gz2004-11-09 10:54 3.0K 
[ ]_c_mult.con.types.xml.gz2004-11-09 10:54 5.6K 
[ ]_c_mult.con.xml.gz2004-11-09 10:54 1.9K 
[ ]_c_mult_apply.con.body.xml.gz2004-11-09 10:55 68K 
[ ]_c_mult_apply.con.types.xml.gz2004-11-09 10:55 79K 
[ ]_c_mult_apply.con.xml.gz2004-11-09 10:55 2.2K 
[ ]_c_mult_lin.con.body.xml.gz2004-11-09 10:54 13K 
[ ]_c_mult_lin.con.types.xml.gz2004-11-09 10:54 22K 
[ ]_c_mult_lin.con.xml.gz2004-11-09 10:54 2.7K 
[ ]_c_one.con.body.xml.gz2004-11-09 10:54 724  
[ ]_c_one.con.types.xml.gz2004-11-09 10:54 1.2K 
[ ]_c_one.con.xml.gz2004-11-09 10:54 916  
[ ]_c_zero.con.body.xml.gz2004-11-09 10:54 833  
[ ]_c_zero.con.types.xml.gz2004-11-09 10:54 1.4K 
[ ]_c_zero.con.xml.gz2004-11-09 10:54 1.0K 
[ ]_cpoly_lin_ap_lin.con.body.xml.gz2004-11-09 10:54 889  
[ ]_cpoly_lin_ap_lin.con.types.xml.gz2004-11-09 10:54 1.1K 
[ ]_cpoly_lin_ap_lin.con.xml.gz2004-11-09 10:54 887  
[ ]_cpoly_lin_ap_zero.con.body.xml.gz2004-11-09 10:54 2.2K 
[ ]_cpoly_lin_ap_zero.con.types.xml.gz2004-11-09 10:54 2.5K 
[ ]_cpoly_lin_ap_zero.con.xml.gz2004-11-09 10:54 854  
[ ]_cpoly_lin_eq_lin.con.body.xml.gz2004-11-09 10:54 894  
[ ]_cpoly_lin_eq_lin.con.types.xml.gz2004-11-09 10:54 1.2K 
[ ]_cpoly_lin_eq_lin.con.xml.gz2004-11-09 10:54 892  
[ ]_cpoly_lin_eq_zero.con.body.xml.gz2004-11-09 10:54 1.8K 
[ ]_cpoly_lin_eq_zero.con.types.xml.gz2004-11-09 10:54 2.5K 
[ ]_cpoly_lin_eq_zero.con.xml.gz2004-11-09 10:54 862  
[ ]_cpoly_zero_ap_lin.con.body.xml.gz2004-11-09 10:54 824  
[ ]_cpoly_zero_ap_lin.con.types.xml.gz2004-11-09 10:54 1.1K 
[ ]_cpoly_zero_ap_lin.con.xml.gz2004-11-09 10:54 850  
[ ]_cpoly_zero_eq_lin.con.body.xml.gz2004-11-09 10:54 830  
[ ]_cpoly_zero_eq_lin.con.types.xml.gz2004-11-09 10:54 1.1K 
[ ]_cpoly_zero_eq_lin.con.xml.gz2004-11-09 10:54 856  
[ ]_linear_ap_linear.con.body.xml.gz2004-11-09 10:54 426  
[ ]_linear_ap_linear.con.types.xml.gz2004-11-09 10:54 3.2K 
[ ]_linear_ap_linear.con.xml.gz2004-11-09 10:54 1.4K 
[ ]_linear_ap_zero.con.body.xml.gz2004-11-09 10:54 403  
[ ]_linear_ap_zero.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]_linear_ap_zero.con.xml.gz2004-11-09 10:54 1.3K 
[ ]_linear_eq_linear.con.body.xml.gz2004-11-09 10:54 425  
[ ]_linear_eq_linear.con.types.xml.gz2004-11-09 10:54 3.2K 
[ ]_linear_eq_linear.con.xml.gz2004-11-09 10:54 1.4K 
[ ]_linear_eq_zero.con.body.xml.gz2004-11-09 10:54 403  
[ ]_linear_eq_zero.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]_linear_eq_zero.con.xml.gz2004-11-09 10:54 1.3K 
[ ]_x_apply.con.body.xml.gz2004-11-09 10:55 12K 
[ ]_x_apply.con.types.xml.gz2004-11-09 10:55 13K 
[ ]_x_apply.con.xml.gz2004-11-09 10:55 1.0K 
[ ]_zero_ap_linear.con.body.xml.gz2004-11-09 10:54 403  
[ ]_zero_ap_linear.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]_zero_ap_linear.con.xml.gz2004-11-09 10:54 1.3K 
[ ]_zero_eq_linear.con.body.xml.gz2004-11-09 10:54 403  
[ ]_zero_eq_linear.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]_zero_eq_linear.con.xml.gz2004-11-09 10:54 1.3K 
[ ]apply_wd.con.body.xml.gz2004-11-09 10:54 1.4K 
[ ]apply_wd.con.types.xml.gz2004-11-09 10:54 2.3K 
[ ]apply_wd.con.xml.gz2004-11-09 10:54 1.7K 
[ ]cotransitive_cpoly_ap.con.body.xml.gz2004-11-09 10:54 27K 
[ ]cotransitive_cpoly_ap.con.types.xml.gz2004-11-09 10:54 40K 
[ ]cotransitive_cpoly_ap.con.xml.gz2004-11-09 10:54 393  
[ ]cpoly.ind.types.xml.gz2004-11-09 10:54 196  
[ ]cpoly.ind.xml.gz2004-11-09 10:54 565  
[ ]cpoly_C_.con.body.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_C_.con.types.xml.gz2004-11-09 10:54 3.0K 
[ ]cpoly_C_.con.xml.gz2004-11-09 10:54 1.4K 
[ ]cpoly_X_.con.body.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_X_.con.types.xml.gz2004-11-09 10:54 2.0K 
[ ]cpoly_X_.con.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_ap.con.body.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_ap.con.types.xml.gz2004-11-09 10:54 203  
[ ]cpoly_ap.con.xml.gz2004-11-09 10:54 335  
[ ]cpoly_ap_p_zero.con.body.xml.gz2004-11-09 10:54 958  
[ ]cpoly_ap_p_zero.con.types.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_ap_p_zero.con.xml.gz2004-11-09 10:54 479  
[ ]cpoly_ap_zero.con.body.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_ap_zero.con.types.xml.gz2004-11-09 10:54 213  
[ ]cpoly_ap_zero.con.xml.gz2004-11-09 10:54 333  
[ ]cpoly_ap_zero_plus.con.body.xml.gz2004-11-09 10:54 14K 
[ ]cpoly_ap_zero_plus.con.types.xml.gz2004-11-09 10:54 17K 
[ ]cpoly_ap_zero_plus.con.xml.gz2004-11-09 10:54 614  
[ ]cpoly_apply.con.body.xml.gz2004-11-09 10:54 2.1K 
[ ]cpoly_apply.con.types.xml.gz2004-11-09 10:54 209  
[ ]cpoly_apply.con.xml.gz2004-11-09 10:54 668  
[ ]cpoly_apply_fun.con.body.xml.gz2004-11-09 10:54 714  
[ ]cpoly_apply_fun.con.types.xml.gz2004-11-09 10:54 216  
[ ]cpoly_apply_fun.con.xml.gz2004-11-09 10:54 661  
[ ]cpoly_apply_strext.con.body.xml.gz2004-11-09 10:54 35K 
[ ]cpoly_apply_strext.con.types.xml.gz2004-11-09 10:54 64K 
[ ]cpoly_apply_strext.con.xml.gz2004-11-09 10:54 685  
[ ]cpoly_apply_wd.con.body.xml.gz2004-11-09 10:54 705  
[ ]cpoly_apply_wd.con.types.xml.gz2004-11-09 10:54 671  
[ ]cpoly_apply_wd.con.xml.gz2004-11-09 10:54 667  
[ ]cpoly_cabgroup.con.body.xml.gz2004-11-09 10:54 370  
[ ]cpoly_cabgroup.con.types.xml.gz2004-11-09 10:54 214  
[ ]cpoly_cabgroup.con.xml.gz2004-11-09 10:54 292  
[ ]cpoly_cag_proof.con.body.xml.gz2004-11-09 10:54 588  
[ ]cpoly_cag_proof.con.types.xml.gz2004-11-09 10:54 1.6K 
[ ]cpoly_cag_proof.con.xml.gz2004-11-09 10:54 330  
[ ]cpoly_cg_proof.con.body.xml.gz2004-11-09 10:54 6.7K 
[ ]cpoly_cg_proof.con.types.xml.gz2004-11-09 10:54 10K 
[ ]cpoly_cg_proof.con.xml.gz2004-11-09 10:54 341  
[ ]cpoly_cgroup.con.body.xml.gz2004-11-09 10:54 379  
[ ]cpoly_cgroup.con.types.xml.gz2004-11-09 10:54 210  
[ ]cpoly_cgroup.con.xml.gz2004-11-09 10:54 288  
[ ]cpoly_cm_proof.con.body.xml.gz2004-11-09 10:54 1.4K 
[ ]cpoly_cm_proof.con.types.xml.gz2004-11-09 10:54 1.9K 
[ ]cpoly_cm_proof.con.xml.gz2004-11-09 10:54 367  
[ ]cpoly_cmonoid.con.body.xml.gz2004-11-09 10:54 381  
[ ]cpoly_cmonoid.con.types.xml.gz2004-11-09 10:54 211  
[ ]cpoly_cmonoid.con.xml.gz2004-11-09 10:54 287  
[ ]cpoly_const_eq.con.body.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_const_eq.con.types.xml.gz2004-11-09 10:54 1.7K 
[ ]cpoly_const_eq.con.xml.gz2004-11-09 10:54 1.3K 
[ ]cpoly_constant.con.body.xml.gz2004-11-09 10:54 542  
[ ]cpoly_constant.con.types.xml.gz2004-11-09 10:54 213  
[ ]cpoly_constant.con.xml.gz2004-11-09 10:54 472  
[ ]cpoly_constant_strext.con.body.xml.gz2004-11-09 10:54 1.5K 
[ ]cpoly_constant_strext.con.types.xml.gz2004-11-09 10:54 2.0K 
[ ]cpoly_constant_strext.con.xml.gz2004-11-09 10:54 596  
[ ]cpoly_constant_wd.con.body.xml.gz2004-11-09 10:54 623  
[ ]cpoly_constant_wd.con.types.xml.gz2004-11-09 10:54 575  
[ ]cpoly_constant_wd.con.xml.gz2004-11-09 10:54 584  
[ ]cpoly_cr_dist.con.body.xml.gz2004-11-09 10:54 15K 
[ ]cpoly_cr_dist.con.types.xml.gz2004-11-09 10:54 20K 
[ ]cpoly_cr_dist.con.xml.gz2004-11-09 10:54 351  
[ ]cpoly_cr_non_triv.con.body.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_cr_non_triv.con.types.xml.gz2004-11-09 10:54 1.6K 
[ ]cpoly_cr_non_triv.con.xml.gz2004-11-09 10:54 345  
[ ]cpoly_cring.con.body.xml.gz2004-11-09 10:54 376  
[ ]cpoly_cring.con.types.xml.gz2004-11-09 10:54 209  
[ ]cpoly_cring.con.xml.gz2004-11-09 10:54 284  
[ ]cpoly_csemi_grp.con.body.xml.gz2004-11-09 10:54 388  
[ ]cpoly_csemi_grp.con.types.xml.gz2004-11-09 10:54 498  
[ ]cpoly_csemi_grp.con.xml.gz2004-11-09 10:54 294  
[ ]cpoly_csetoid.con.body.xml.gz2004-11-09 10:54 366  
[ ]cpoly_csetoid.con.types.xml.gz2004-11-09 10:54 211  
[ ]cpoly_csetoid.con.xml.gz2004-11-09 10:54 266  
[ ]cpoly_csetoid_op.con.body.xml.gz2004-11-09 10:54 1.3K 
[ ]cpoly_csetoid_op.con.types.xml.gz2004-11-09 10:54 2.0K 
[ ]cpoly_csetoid_op.con.xml.gz2004-11-09 10:54 633  
[ ]cpoly_double_comp_ind.con.body.xml.gz2004-11-09 10:54 4.1K 
[ ]cpoly_double_comp_ind.con.types.xml.gz2004-11-09 10:54 3.9K 
[ ]cpoly_double_comp_ind.con.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_double_ind.con.body.xml.gz2004-11-09 10:55 348  
[ ]cpoly_double_ind.con.types.xml.gz2004-11-09 10:55 5.0K 
[ ]cpoly_double_ind.con.xml.gz2004-11-09 10:55 2.3K 
[ ]cpoly_double_ind0'.con.body.xml.gz2004-11-09 10:54 1.9K 
[ ]cpoly_double_ind0'.con.types.xml.gz2004-11-09 10:54 1.8K 
[ ]cpoly_double_ind0'.con.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_double_ind0.con.body.xml.gz2004-11-09 10:54 1.7K 
[ ]cpoly_double_ind0.con.types.xml.gz2004-11-09 10:54 1.8K 
[ ]cpoly_double_ind0.con.xml.gz2004-11-09 10:54 967  
[ ]cpoly_double_ind0_cs.con.body.xml.gz2004-11-09 10:54 1.9K 
[ ]cpoly_double_ind0_cs.con.types.xml.gz2004-11-09 10:54 2.1K 
[ ]cpoly_double_ind0_cs.con.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_double_sym_ind.con.body.xml.gz2004-11-09 10:54 348  
[ ]cpoly_double_sym_ind.con.types.xml.gz2004-11-09 10:54 5.0K 
[ ]cpoly_double_sym_ind.con.xml.gz2004-11-09 10:54 2.3K 
[ ]cpoly_double_sym_ind0.con.body.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_double_sym_ind0.con.types.xml.gz2004-11-09 10:54 1.4K 
[ ]cpoly_double_sym_ind0.con.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_double_sym_ind0_cs.con.body.xml.gz2004-11-09 10:54 1.3K 
[ ]cpoly_double_sym_ind0_cs.con.types.xml.gz2004-11-09 10:54 2.3K 
[ ]cpoly_double_sym_ind0_cs.con.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_eq.con.body.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_eq.con.types.xml.gz2004-11-09 10:54 203  
[ ]cpoly_eq.con.xml.gz2004-11-09 10:54 324  
[ ]cpoly_eq_p_zero.con.body.xml.gz2004-11-09 10:54 946  
[ ]cpoly_eq_p_zero.con.types.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_eq_p_zero.con.xml.gz2004-11-09 10:54 476  
[ ]cpoly_eq_zero.con.body.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_eq_zero.con.types.xml.gz2004-11-09 10:54 213  
[ ]cpoly_eq_zero.con.xml.gz2004-11-09 10:54 322  
[ ]cpoly_ind.con.body.xml.gz2004-11-09 10:54 427  
[ ]cpoly_ind.con.types.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_ind.con.xml.gz2004-11-09 10:54 743  
[ ]cpoly_ind_cs.con.body.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_ind_cs.con.types.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_ind_cs.con.xml.gz2004-11-09 10:54 781  
[ ]cpoly_induc.con.body.xml.gz2004-11-09 10:54 330  
[ ]cpoly_induc.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]cpoly_induc.con.xml.gz2004-11-09 10:54 1.4K 
[ ]cpoly_inv.con.body.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_inv.con.types.xml.gz2004-11-09 10:54 204  
[ ]cpoly_inv.con.xml.gz2004-11-09 10:54 305  
[ ]cpoly_inv_cs.con.body.xml.gz2004-11-09 10:54 395  
[ ]cpoly_inv_cs.con.types.xml.gz2004-11-09 10:54 210  
[ ]cpoly_inv_cs.con.xml.gz2004-11-09 10:54 359  
[ ]cpoly_inv_lin.con.body.xml.gz2004-11-09 10:54 2.4K 
[ ]cpoly_inv_lin.con.types.xml.gz2004-11-09 10:54 4.2K 
[ ]cpoly_inv_lin.con.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_inv_op.con.body.xml.gz2004-11-09 10:54 402  
[ ]cpoly_inv_op.con.types.xml.gz2004-11-09 10:54 457  
[ ]cpoly_inv_op.con.xml.gz2004-11-09 10:54 374  
[ ]cpoly_inv_op_strext.con.body.xml.gz2004-11-09 10:54 13K 
[ ]cpoly_inv_op_strext.con.types.xml.gz2004-11-09 10:54 15K 
[ ]cpoly_inv_op_strext.con.xml.gz2004-11-09 10:54 391  
[ ]cpoly_inv_op_wd.con.body.xml.gz2004-11-09 10:54 429  
[ ]cpoly_inv_op_wd.con.types.xml.gz2004-11-09 10:54 533  
[ ]cpoly_inv_op_wd.con.xml.gz2004-11-09 10:54 377  
[ ]cpoly_inv_zero.con.body.xml.gz2004-11-09 10:54 398  
[ ]cpoly_inv_zero.con.types.xml.gz2004-11-09 10:54 454  
[ ]cpoly_inv_zero.con.xml.gz2004-11-09 10:54 404  
[ ]cpoly_is_CRing.con.body.xml.gz2004-11-09 10:54 439  
[ ]cpoly_is_CRing.con.types.xml.gz2004-11-09 10:54 1.7K 
[ ]cpoly_is_CRing.con.xml.gz2004-11-09 10:54 361  
[ ]cpoly_is_CSetoid.con.body.xml.gz2004-11-09 10:54 420  
[ ]cpoly_is_CSetoid.con.types.xml.gz2004-11-09 10:54 217  
[ ]cpoly_is_CSetoid.con.xml.gz2004-11-09 10:54 338  
[ ]cpoly_lin.con.body.xml.gz2004-11-09 10:54 29K 
[ ]cpoly_lin.con.types.xml.gz2004-11-09 10:54 45K 
[ ]cpoly_lin.con.xml.gz2004-11-09 10:54 2.0K 
[ ]cpoly_lin_ap_lin.con.body.xml.gz2004-11-09 10:54 919  
[ ]cpoly_lin_ap_lin.con.types.xml.gz2004-11-09 10:54 1.4K 
[ ]cpoly_lin_ap_lin.con.xml.gz2004-11-09 10:54 934  
[ ]cpoly_lin_ap_lin_.con.body.xml.gz2004-11-09 10:54 788  
[ ]cpoly_lin_ap_lin_.con.types.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_lin_ap_lin_.con.xml.gz2004-11-09 10:54 888  
[ ]cpoly_lin_ap_zero.con.body.xml.gz2004-11-09 10:54 1.3K 
[ ]cpoly_lin_ap_zero.con.types.xml.gz2004-11-09 10:54 1.9K 
[ ]cpoly_lin_ap_zero.con.xml.gz2004-11-09 10:54 891  
[ ]cpoly_lin_ap_zero_.con.body.xml.gz2004-11-09 10:54 2.3K 
[ ]cpoly_lin_ap_zero_.con.types.xml.gz2004-11-09 10:54 3.9K 
[ ]cpoly_lin_ap_zero_.con.xml.gz2004-11-09 10:54 854  
[ ]cpoly_lin_eq_lin_.con.body.xml.gz2004-11-09 10:54 787  
[ ]cpoly_lin_eq_lin_.con.types.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_lin_eq_lin_.con.xml.gz2004-11-09 10:54 893  
[ ]cpoly_lin_eq_zero_.con.body.xml.gz2004-11-09 10:54 1.8K 
[ ]cpoly_lin_eq_zero_.con.types.xml.gz2004-11-09 10:54 2.7K 
[ ]cpoly_lin_eq_zero_.con.xml.gz2004-11-09 10:54 857  
[ ]cpoly_lin_mult.con.body.xml.gz2004-11-09 10:54 836  
[ ]cpoly_lin_mult.con.types.xml.gz2004-11-09 10:54 1.3K 
[ ]cpoly_lin_mult.con.xml.gz2004-11-09 10:54 843  
[ ]cpoly_lin_mult_cr.con.body.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_lin_mult_cr.con.types.xml.gz2004-11-09 10:54 2.1K 
[ ]cpoly_lin_mult_cr.con.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_lin_plus_lin.con.body.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_lin_plus_lin.con.types.xml.gz2004-11-09 10:54 2.3K 
[ ]cpoly_lin_plus_lin.con.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_linear_fun'.con.body.xml.gz2004-11-09 10:54 413  
[ ]cpoly_linear_fun'.con.types.xml.gz2004-11-09 10:54 220  
[ ]cpoly_linear_fun'.con.xml.gz2004-11-09 10:54 747  
[ ]cpoly_linear_fun.con.body.xml.gz2004-11-09 10:54 569  
[ ]cpoly_linear_fun.con.types.xml.gz2004-11-09 10:54 217  
[ ]cpoly_linear_fun.con.xml.gz2004-11-09 10:54 519  
[ ]cpoly_linear_strext.con.body.xml.gz2004-11-09 10:54 864  
[ ]cpoly_linear_strext.con.types.xml.gz2004-11-09 10:54 1.3K 
[ ]cpoly_linear_strext.con.xml.gz2004-11-09 10:54 533  
[ ]cpoly_linear_wd.con.body.xml.gz2004-11-09 10:54 563  
[ ]cpoly_linear_wd.con.types.xml.gz2004-11-09 10:54 538  
[ ]cpoly_linear_wd.con.xml.gz2004-11-09 10:54 528  
[ ]cpoly_mult.con.body.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_mult.con.types.xml.gz2004-11-09 10:54 207  
[ ]cpoly_mult.con.xml.gz2004-11-09 10:54 316  
[ ]cpoly_mult_assoc.con.body.xml.gz2004-11-09 10:54 7.9K 
[ ]cpoly_mult_assoc.con.types.xml.gz2004-11-09 10:54 8.5K 
[ ]cpoly_mult_assoc.con.xml.gz2004-11-09 10:54 461  
[ ]cpoly_mult_commutative.con.body.xml.gz2004-11-09 10:54 3.0K 
[ ]cpoly_mult_commutative.con.types.xml.gz2004-11-09 10:54 3.7K 
[ ]cpoly_mult_commutative.con.xml.gz2004-11-09 10:54 523  
[ ]cpoly_mult_cr.con.body.xml.gz2004-11-09 10:54 1.4K 
[ ]cpoly_mult_cr.con.types.xml.gz2004-11-09 10:54 212  
[ ]cpoly_mult_cr.con.xml.gz2004-11-09 10:54 482  
[ ]cpoly_mult_cr_assoc_mult.con.body.xml.gz2004-11-09 10:54 8.1K 
[ ]cpoly_mult_cr_assoc_mult.con.types.xml.gz2004-11-09 10:54 8.0K 
[ ]cpoly_mult_cr_assoc_mult.con.xml.gz2004-11-09 10:54 716  
[ ]cpoly_mult_cr_assoc_mult_cr.con.body.xml.gz2004-11-09 10:54 10K 
[ ]cpoly_mult_cr_assoc_mult_cr.con.types.xml.gz2004-11-09 10:54 11K 
[ ]cpoly_mult_cr_assoc_mult_cr.con.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_mult_cr_cs.con.body.xml.gz2004-11-09 10:54 557  
[ ]cpoly_mult_cr_cs.con.types.xml.gz2004-11-09 10:54 217  
[ ]cpoly_mult_cr_cs.con.xml.gz2004-11-09 10:54 500  
[ ]cpoly_mult_cr_dist.con.body.xml.gz2004-11-09 10:54 15K 
[ ]cpoly_mult_cr_dist.con.types.xml.gz2004-11-09 10:54 17K 
[ ]cpoly_mult_cr_dist.con.xml.gz2004-11-09 10:54 736  
[ ]cpoly_mult_cr_one.con.body.xml.gz2004-11-09 10:54 2.5K 
[ ]cpoly_mult_cr_one.con.types.xml.gz2004-11-09 10:54 2.7K 
[ ]cpoly_mult_cr_one.con.xml.gz2004-11-09 10:54 506  
[ ]cpoly_mult_cr_strext.con.body.xml.gz2004-11-09 10:54 36K 
[ ]cpoly_mult_cr_strext.con.types.xml.gz2004-11-09 10:54 52K 
[ ]cpoly_mult_cr_strext.con.xml.gz2004-11-09 10:54 547  
[ ]cpoly_mult_cr_wd.con.body.xml.gz2004-11-09 10:54 576  
[ ]cpoly_mult_cr_wd.con.types.xml.gz2004-11-09 10:54 532  
[ ]cpoly_mult_cr_wd.con.xml.gz2004-11-09 10:54 538  
[ ]cpoly_mult_cr_zero.con.body.xml.gz2004-11-09 10:54 3.2K 
[ ]cpoly_mult_cr_zero.con.types.xml.gz2004-11-09 10:54 3.2K 
[ ]cpoly_mult_cr_zero.con.xml.gz2004-11-09 10:54 574  
[ ]cpoly_mult_cs.con.body.xml.gz2004-11-09 10:54 433  
[ ]cpoly_mult_cs.con.types.xml.gz2004-11-09 10:54 212  
[ ]cpoly_mult_cs.con.xml.gz2004-11-09 10:54 372  
[ ]cpoly_mult_dist_rht.con.body.xml.gz2004-11-09 10:54 1.3K 
[ ]cpoly_mult_dist_rht.con.types.xml.gz2004-11-09 10:54 3.0K 
[ ]cpoly_mult_dist_rht.con.xml.gz2004-11-09 10:54 619  
[ ]cpoly_mult_lin.con.body.xml.gz2004-11-09 10:54 19K 
[ ]cpoly_mult_lin.con.types.xml.gz2004-11-09 10:54 21K 
[ ]cpoly_mult_lin.con.xml.gz2004-11-09 10:54 814  
[ ]cpoly_mult_monoid.con.body.xml.gz2004-11-09 10:54 444  
[ ]cpoly_mult_monoid.con.types.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_mult_monoid.con.xml.gz2004-11-09 10:54 426  
[ ]cpoly_mult_one.con.body.xml.gz2004-11-09 10:54 615  
[ ]cpoly_mult_one.con.types.xml.gz2004-11-09 10:54 633  
[ ]cpoly_mult_one.con.xml.gz2004-11-09 10:54 471  
[ ]cpoly_mult_op.con.body.xml.gz2004-11-09 10:54 408  
[ ]cpoly_mult_op.con.types.xml.gz2004-11-09 10:54 466  
[ ]cpoly_mult_op.con.xml.gz2004-11-09 10:54 387  
[ ]cpoly_mult_op_strext.con.body.xml.gz2004-11-09 10:54 41K 
[ ]cpoly_mult_op_strext.con.types.xml.gz2004-11-09 10:54 53K 
[ ]cpoly_mult_op_strext.con.xml.gz2004-11-09 10:54 393  
[ ]cpoly_mult_op_wd.con.body.xml.gz2004-11-09 10:54 446  
[ ]cpoly_mult_op_wd.con.types.xml.gz2004-11-09 10:54 546  
[ ]cpoly_mult_op_wd.con.xml.gz2004-11-09 10:54 379  
[ ]cpoly_mult_zero.con.body.xml.gz2004-11-09 10:54 2.6K 
[ ]cpoly_mult_zero.con.types.xml.gz2004-11-09 10:54 2.4K 
[ ]cpoly_mult_zero.con.xml.gz2004-11-09 10:54 470  
[ ]cpoly_one.con.body.xml.gz2004-11-09 10:54 323  
[ ]cpoly_one.con.types.xml.gz2004-11-09 10:54 204  
[ ]cpoly_one.con.xml.gz2004-11-09 10:54 256  
[ ]cpoly_one_mult.con.body.xml.gz2004-11-09 10:54 2.8K 
[ ]cpoly_one_mult.con.types.xml.gz2004-11-09 10:54 3.0K 
[ ]cpoly_one_mult.con.xml.gz2004-11-09 10:54 467  
[ ]cpoly_p_plus_ap_p.con.body.xml.gz2004-11-09 10:54 765  
[ ]cpoly_p_plus_ap_p.con.types.xml.gz2004-11-09 10:54 787  
[ ]cpoly_p_plus_ap_p.con.xml.gz2004-11-09 10:54 558  
[ ]cpoly_plus.con.body.xml.gz2004-11-09 10:54 1.5K 
[ ]cpoly_plus.con.types.xml.gz2004-11-09 10:54 207  
[ ]cpoly_plus.con.xml.gz2004-11-09 10:54 315  
[ ]cpoly_plus_associative.con.body.xml.gz2004-11-09 10:54 12K 
[ ]cpoly_plus_associative.con.types.xml.gz2004-11-09 10:54 14K 
[ ]cpoly_plus_associative.con.xml.gz2004-11-09 10:54 469  
[ ]cpoly_plus_commutative.con.body.xml.gz2004-11-09 10:54 5.1K 
[ ]cpoly_plus_commutative.con.types.xml.gz2004-11-09 10:54 5.4K 
[ ]cpoly_plus_commutative.con.xml.gz2004-11-09 10:54 523  
[ ]cpoly_plus_cs.con.body.xml.gz2004-11-09 10:54 433  
[ ]cpoly_plus_cs.con.types.xml.gz2004-11-09 10:54 212  
[ ]cpoly_plus_cs.con.xml.gz2004-11-09 10:54 372  
[ ]cpoly_plus_op.con.body.xml.gz2004-11-09 10:54 408  
[ ]cpoly_plus_op.con.types.xml.gz2004-11-09 10:54 466  
[ ]cpoly_plus_op.con.xml.gz2004-11-09 10:54 387  
[ ]cpoly_plus_op_strext.con.body.xml.gz2004-11-09 10:54 46K 
[ ]cpoly_plus_op_strext.con.types.xml.gz2004-11-09 10:54 58K 
[ ]cpoly_plus_op_strext.con.xml.gz2004-11-09 10:54 393  
[ ]cpoly_plus_op_wd.con.body.xml.gz2004-11-09 10:54 447  
[ ]cpoly_plus_op_wd.con.types.xml.gz2004-11-09 10:54 545  
[ ]cpoly_plus_op_wd.con.xml.gz2004-11-09 10:54 381  
[ ]cpoly_plus_q_ap_q.con.body.xml.gz2004-11-09 10:54 9.4K 
[ ]cpoly_plus_q_ap_q.con.types.xml.gz2004-11-09 10:54 9.2K 
[ ]cpoly_plus_q_ap_q.con.xml.gz2004-11-09 10:54 540  
[ ]cpoly_plus_zero.con.body.xml.gz2004-11-09 10:54 1.0K 
[ ]cpoly_plus_zero.con.types.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_plus_zero.con.xml.gz2004-11-09 10:54 508  
[ ]cpoly_rec.con.body.xml.gz2004-11-09 10:54 427  
[ ]cpoly_rec.con.types.xml.gz2004-11-09 10:54 205  
[ ]cpoly_rec.con.xml.gz2004-11-09 10:54 741  
[ ]cpoly_rect.con.body.xml.gz2004-11-09 10:54 1.2K 
[ ]cpoly_rect.con.types.xml.gz2004-11-09 10:54 207  
[ ]cpoly_rect.con.xml.gz2004-11-09 10:54 737  
[ ]cpoly_triple_comp_ind.con.body.xml.gz2004-11-09 10:54 5.9K 
[ ]cpoly_triple_comp_ind.con.types.xml.gz2004-11-09 10:54 5.6K 
[ ]cpoly_triple_comp_ind.con.xml.gz2004-11-09 10:54 1.5K 
[ ]cpoly_x_minus_c.con.body.xml.gz2004-11-09 10:54 935  
[ ]cpoly_x_minus_c.con.types.xml.gz2004-11-09 10:54 216  
[ ]cpoly_x_minus_c.con.xml.gz2004-11-09 10:54 570  
[ ]cpoly_x_minus_c_strext.con.body.xml.gz2004-11-09 10:54 4.7K 
[ ]cpoly_x_minus_c_strext.con.types.xml.gz2004-11-09 10:54 3.7K 
[ ]cpoly_x_minus_c_strext.con.xml.gz2004-11-09 10:54 600  
[ ]cpoly_x_minus_c_wd.con.body.xml.gz2004-11-09 10:54 626  
[ ]cpoly_x_minus_c_wd.con.types.xml.gz2004-11-09 10:54 580  
[ ]cpoly_x_minus_c_wd.con.xml.gz2004-11-09 10:54 589  
[ ]cpoly_zero_ap_lin.con.body.xml.gz2004-11-09 10:54 854  
[ ]cpoly_zero_ap_lin.con.types.xml.gz2004-11-09 10:54 1.5K 
[ ]cpoly_zero_ap_lin.con.xml.gz2004-11-09 10:54 883  
[ ]cpoly_zero_ap_lin_.con.body.xml.gz2004-11-09 10:54 648  
[ ]cpoly_zero_ap_lin_.con.types.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_zero_ap_lin_.con.xml.gz2004-11-09 10:54 844  
[ ]cpoly_zero_eq_lin_.con.body.xml.gz2004-11-09 10:54 648  
[ ]cpoly_zero_eq_lin_.con.types.xml.gz2004-11-09 10:54 1.1K 
[ ]cpoly_zero_eq_lin_.con.xml.gz2004-11-09 10:54 850  
[ ]cpoly_zero_mult.con.body.xml.gz2004-11-09 10:54 473  
[ ]cpoly_zero_mult.con.types.xml.gz2004-11-09 10:54 633  
[ ]cpoly_zero_mult.con.xml.gz2004-11-09 10:54 504  
[ ]cpoly_zero_mult_cr.con.body.xml.gz2004-11-09 10:54 590  
[ ]cpoly_zero_mult_cr.con.types.xml.gz2004-11-09 10:54 751  
[ ]cpoly_zero_mult_cr.con.xml.gz2004-11-09 10:54 620  
[ ]cpoly_zero_plus.con.body.xml.gz2004-11-09 10:54 480  
[ ]cpoly_zero_plus.con.types.xml.gz2004-11-09 10:54 632  
[ ]cpoly_zero_plus.con.xml.gz2004-11-09 10:54 506  
[ ]cpolyap_pres_eq.con.body.xml.gz2004-11-09 10:54 1.4K 
[ ]cpolyap_pres_eq.con.types.xml.gz2004-11-09 10:54 2.2K 
[ ]cpolyap_pres_eq.con.xml.gz2004-11-09 10:54 1.5K 
[ ]cpolyap_strext.con.body.xml.gz2004-11-09 10:54 2.9K 
[ ]cpolyap_strext.con.types.xml.gz2004-11-09 10:54 2.3K 
[ ]cpolyap_strext.con.xml.gz2004-11-09 10:54 1.4K 
[ ]inv_apply.con.body.xml.gz2004-11-09 10:55 27K 
[ ]inv_apply.con.types.xml.gz2004-11-09 10:55 34K 
[ ]inv_apply.con.xml.gz2004-11-09 10:55 1.8K 
[ ]irreflexive_cpoly_ap.con.body.xml.gz2004-11-09 10:54 1.4K 
[ ]irreflexive_cpoly_ap.con.types.xml.gz2004-11-09 10:54 1.7K 
[ ]irreflexive_cpoly_ap.con.xml.gz2004-11-09 10:54 388  
[ ]lin_mult.con.body.xml.gz2004-11-09 10:54 18K 
[ ]lin_mult.con.types.xml.gz2004-11-09 10:54 22K 
[ ]lin_mult.con.xml.gz2004-11-09 10:54 3.1K 
[ ]linear_ap_linear.con.body.xml.gz2004-11-09 10:54 423  
[ ]linear_ap_linear.con.types.xml.gz2004-11-09 10:54 3.2K 
[ ]linear_ap_linear.con.xml.gz2004-11-09 10:54 1.4K 
[ ]linear_ap_linear_.con.body.xml.gz2004-11-09 10:54 426  
[ ]linear_ap_linear_.con.types.xml.gz2004-11-09 10:54 3.1K 
[ ]linear_ap_linear_.con.xml.gz2004-11-09 10:54 1.4K 
[ ]linear_ap_zero.con.body.xml.gz2004-11-09 10:54 401  
[ ]linear_ap_zero.con.types.xml.gz2004-11-09 10:54 2.9K 
[ ]linear_ap_zero.con.xml.gz2004-11-09 10:54 1.3K 
[ ]linear_ap_zero_.con.body.xml.gz2004-11-09 10:54 404  
[ ]linear_ap_zero_.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]linear_ap_zero_.con.xml.gz2004-11-09 10:54 1.3K 
[ ]linear_eq_linear_.con.body.xml.gz2004-11-09 10:54 426  
[ ]linear_eq_linear_.con.types.xml.gz2004-11-09 10:54 3.1K 
[ ]linear_eq_linear_.con.xml.gz2004-11-09 10:54 1.4K 
[ ]linear_eq_zero_.con.body.xml.gz2004-11-09 10:54 403  
[ ]linear_eq_zero_.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]linear_eq_zero_.con.xml.gz2004-11-09 10:54 1.3K 
[ ]minus_apply.con.body.xml.gz2004-11-09 10:55 13K 
[ ]minus_apply.con.types.xml.gz2004-11-09 10:55 17K 
[ ]minus_apply.con.xml.gz2004-11-09 10:55 1.8K 
[ ]mult_apply.con.body.xml.gz2004-11-09 10:55 108K 
[ ]mult_apply.con.types.xml.gz2004-11-09 10:55 121K 
[ ]mult_apply.con.xml.gz2004-11-09 10:55 2.3K 
[ ]nexp_apply.con.body.xml.gz2004-11-09 10:55 21K 
[ ]nexp_apply.con.types.xml.gz2004-11-09 10:55 25K 
[ ]nexp_apply.con.xml.gz2004-11-09 10:55 1.9K 
[ ]one_apply.con.body.xml.gz2004-11-09 10:55 2.0K 
[ ]one_apply.con.types.xml.gz2004-11-09 10:55 3.4K 
[ ]one_apply.con.xml.gz2004-11-09 10:55 1.0K 
[ ]plus_apply.con.body.xml.gz2004-11-09 10:55 99K 
[ ]plus_apply.con.types.xml.gz2004-11-09 10:55 109K 
[ ]plus_apply.con.xml.gz2004-11-09 10:55 2.4K 
[ ]poly_c_apzero.con.body.xml.gz2004-11-09 10:54 3.0K 
[ ]poly_c_apzero.con.types.xml.gz2004-11-09 10:54 3.1K 
[ ]poly_c_apzero.con.xml.gz2004-11-09 10:54 1.1K 
[ ]poly_double_comp_ind.con.body.xml.gz2004-11-09 10:54 346  
[ ]poly_double_comp_ind.con.types.xml.gz2004-11-09 10:54 6.2K 
[ ]poly_double_comp_ind.con.xml.gz2004-11-09 10:54 2.8K 
[ ]poly_eq_zero.con.body.xml.gz2004-11-09 10:54 2.4K 
[ ]poly_eq_zero.con.types.xml.gz2004-11-09 10:54 3.0K 
[ ]poly_eq_zero.con.xml.gz2004-11-09 10:54 1.3K 
[ ]poly_inv_apply.con.body.xml.gz2004-11-09 10:55 274  
[ ]poly_inv_apply.con.types.xml.gz2004-11-09 10:55 2.7K 
[ ]poly_inv_apply.con.xml.gz2004-11-09 10:55 1.6K 
[ ]poly_linear.con.body.xml.gz2004-11-09 10:54 3.3K 
[ ]poly_linear.con.types.xml.gz2004-11-09 10:54 6.3K 
[ ]poly_linear.con.xml.gz2004-11-09 10:54 1.9K 
[ ]poly_triple_comp_ind.con.body.xml.gz2004-11-09 10:54 346  
[ ]poly_triple_comp_ind.con.types.xml.gz2004-11-09 10:54 8.4K 
[ ]poly_triple_comp_ind.con.xml.gz2004-11-09 10:54 3.8K 
[ ]symmetric_cpoly_ap.con.body.xml.gz2004-11-09 10:54 3.0K 
[ ]symmetric_cpoly_ap.con.types.xml.gz2004-11-09 10:54 3.9K 
[ ]symmetric_cpoly_ap.con.xml.gz2004-11-09 10:54 377  
[ ]tight_apart_cpoly_ap.con.body.xml.gz2004-11-09 10:54 67K 
[ ]tight_apart_cpoly_ap.con.types.xml.gz2004-11-09 10:54 87K 
[ ]tight_apart_cpoly_ap.con.xml.gz2004-11-09 10:54 404  
[ ]zero_ap_linear.con.body.xml.gz2004-11-09 10:54 401  
[ ]zero_ap_linear.con.types.xml.gz2004-11-09 10:54 2.9K 
[ ]zero_ap_linear.con.xml.gz2004-11-09 10:54 1.3K 
[ ]zero_ap_linear_.con.body.xml.gz2004-11-09 10:54 403  
[ ]zero_ap_linear_.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]zero_ap_linear_.con.xml.gz2004-11-09 10:54 1.3K 
[ ]zero_eq_linear_.con.body.xml.gz2004-11-09 10:54 403  
[ ]zero_eq_linear_.con.types.xml.gz2004-11-09 10:54 2.8K 
[ ]zero_eq_linear_.con.xml.gz2004-11-09 10:54 1.3K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80