Index of /xml/CoRN/algebra/CPoly_Degree

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Cpoly_ex_degree.con.body.xml.gz2004-11-09 10:56 835  
[ ]Cpoly_ex_degree.con.types.xml.gz2004-11-09 10:56 444  
[ ]Cpoly_ex_degree.con.xml.gz2004-11-09 10:56 779  
[DIR]Degree_def/2005-07-05 08:13 -  
[DIR]Degree_props/2005-07-05 08:13 -  
[ ]INDEX2005-07-05 08:11 2.6K 
[ ]Sum_degree_le.con.body.xml.gz2004-11-09 10:56 21K 
[ ]Sum_degree_le.con.types.xml.gz2004-11-09 10:56 33K 
[ ]Sum_degree_le.con.xml.gz2004-11-09 10:56 1.1K 
[ ]degree.con.body.xml.gz2004-11-09 10:56 889  
[ ]degree.con.types.xml.gz2004-11-09 10:56 200  
[ ]degree.con.xml.gz2004-11-09 10:56 566  
[ ]degree_c_.con.body.xml.gz2004-11-09 10:56 1.6K 
[ ]degree_c_.con.types.xml.gz2004-11-09 10:56 2.6K 
[ ]degree_c_.con.xml.gz2004-11-09 10:56 1.0K 
[ ]degree_imp_degree_le.con.body.xml.gz2004-11-09 10:56 1.7K 
[ ]degree_imp_degree_le.con.types.xml.gz2004-11-09 10:56 1.4K 
[ ]degree_imp_degree_le.con.xml.gz2004-11-09 10:56 727  
[ ]degree_inv.con.body.xml.gz2004-11-09 10:56 5.7K 
[ ]degree_inv.con.types.xml.gz2004-11-09 10:56 7.4K 
[ ]degree_inv.con.xml.gz2004-11-09 10:56 1.0K 
[ ]degree_le.con.body.xml.gz2004-11-09 10:56 937  
[ ]degree_le.con.types.xml.gz2004-11-09 10:56 205  
[ ]degree_le.con.xml.gz2004-11-09 10:56 573  
[ ]degree_le_1_imp.con.body.xml.gz2004-11-09 10:56 25K 
[ ]degree_le_1_imp.con.types.xml.gz2004-11-09 10:56 26K 
[ ]degree_le_1_imp.con.xml.gz2004-11-09 10:56 2.7K 
[ ]degree_le_c_.con.body.xml.gz2004-11-09 10:56 2.5K 
[ ]degree_le_c_.con.types.xml.gz2004-11-09 10:56 4.3K 
[ ]degree_le_c_.con.xml.gz2004-11-09 10:56 903  
[ ]degree_le_cpoly_linear.con.body.xml.gz2004-11-09 10:56 1.6K 
[ ]degree_le_cpoly_linear.con.types.xml.gz2004-11-09 10:56 3.4K 
[ ]degree_le_cpoly_linear.con.xml.gz2004-11-09 10:56 1.1K 
[ ]degree_le_inv.con.body.xml.gz2004-11-09 10:56 3.5K 
[ ]degree_le_inv.con.types.xml.gz2004-11-09 10:56 5.6K 
[ ]degree_le_inv.con.xml.gz2004-11-09 10:56 1.0K 
[ ]degree_le_minus.con.body.xml.gz2004-11-09 10:56 2.9K 
[ ]degree_le_minus.con.types.xml.gz2004-11-09 10:56 4.4K 
[ ]degree_le_minus.con.xml.gz2004-11-09 10:56 959  
[ ]degree_le_mon.con.body.xml.gz2004-11-09 10:56 1.2K 
[ ]degree_le_mon.con.types.xml.gz2004-11-09 10:56 1.7K 
[ ]degree_le_mon.con.xml.gz2004-11-09 10:56 772  
[ ]degree_le_mult.con.body.xml.gz2004-11-09 10:56 74K 
[ ]degree_le_mult.con.types.xml.gz2004-11-09 10:56 64K 
[ ]degree_le_mult.con.xml.gz2004-11-09 10:56 1.3K 
[ ]degree_le_mult_imp.con.body.xml.gz2004-11-09 10:58 1.1M 
[ ]degree_le_mult_imp.con.types.xml.gz2004-11-09 10:58 858K 
[ ]degree_le_mult_imp.con.xml.gz2004-11-09 10:58 1.4K 
[ ]degree_le_nexp.con.body.xml.gz2004-11-09 10:56 5.4K 
[ ]degree_le_nexp.con.types.xml.gz2004-11-09 10:56 7.1K 
[ ]degree_le_nexp.con.xml.gz2004-11-09 10:56 1.1K 
[ ]degree_le_plus.con.body.xml.gz2004-11-09 10:56 4.8K 
[ ]degree_le_plus.con.types.xml.gz2004-11-09 10:56 8.8K 
[ ]degree_le_plus.con.xml.gz2004-11-09 10:56 1.3K 
[ ]degree_le_wd.con.body.xml.gz2004-11-09 10:56 1.7K 
[ ]degree_le_wd.con.types.xml.gz2004-11-09 10:56 2.2K 
[ ]degree_le_wd.con.xml.gz2004-11-09 10:56 950  
[ ]degree_le_x_.con.body.xml.gz2004-11-09 10:56 3.7K 
[ ]degree_le_x_.con.types.xml.gz2004-11-09 10:56 5.0K 
[ ]degree_le_x_.con.xml.gz2004-11-09 10:56 665  
[ ]degree_le_zero.con.body.xml.gz2004-11-09 10:56 6.9K 
[ ]degree_le_zero.con.types.xml.gz2004-11-09 10:56 7.9K 
[ ]degree_le_zero.con.xml.gz2004-11-09 10:56 1.4K 
[ ]degree_minus_lft.con.body.xml.gz2004-11-09 10:56 4.1K 
[ ]degree_minus_lft.con.types.xml.gz2004-11-09 10:56 4.9K 
[ ]degree_minus_lft.con.xml.gz2004-11-09 10:56 1.0K 
[ ]degree_mult.con.body.xml.gz2004-11-09 10:56 10K 
[ ]degree_mult.con.types.xml.gz2004-11-09 10:56 14K 
[ ]degree_mult.con.xml.gz2004-11-09 10:56 1.4K 
[ ]degree_mult_aux.con.body.xml.gz2004-11-09 10:56 73K 
[ ]degree_mult_aux.con.types.xml.gz2004-11-09 10:56 85K 
[ ]degree_mult_aux.con.xml.gz2004-11-09 10:56 1.7K 
[ ]degree_mult_imp.con.body.xml.gz2004-11-09 10:58 10K 
[ ]degree_mult_imp.con.types.xml.gz2004-11-09 10:58 10K 
[ ]degree_mult_imp.con.xml.gz2004-11-09 10:58 1.4K 
[ ]degree_nexp.con.body.xml.gz2004-11-09 10:56 6.3K 
[ ]degree_nexp.con.types.xml.gz2004-11-09 10:56 8.5K 
[ ]degree_nexp.con.xml.gz2004-11-09 10:56 1.2K 
[ ]degree_plus_rht.con.body.xml.gz2004-11-09 10:56 14K 
[ ]degree_plus_rht.con.types.xml.gz2004-11-09 10:56 20K 
[ ]degree_plus_rht.con.xml.gz2004-11-09 10:56 1.4K 
[DIR]degree_props_Field/2005-07-05 08:13 -  
[ ]degree_wd.con.body.xml.gz2004-11-09 10:56 2.8K 
[ ]degree_wd.con.types.xml.gz2004-11-09 10:56 2.6K 
[ ]degree_wd.con.xml.gz2004-11-09 10:56 945  
[ ]degree_x_.con.body.xml.gz2004-11-09 10:56 854  
[ ]degree_x_.con.types.xml.gz2004-11-09 10:56 1.3K 
[ ]degree_x_.con.xml.gz2004-11-09 10:56 660  
[ ]even_cpoly.con.body.xml.gz2004-11-09 10:56 730  
[ ]even_cpoly.con.types.xml.gz2004-11-09 10:56 206  
[ ]even_cpoly.con.xml.gz2004-11-09 10:56 525  
[ ]lt_i_lth_of_poly.con.body.xml.gz2004-11-09 10:56 5.8K 
[ ]lt_i_lth_of_poly.con.types.xml.gz2004-11-09 10:56 6.9K 
[ ]lt_i_lth_of_poly.con.xml.gz2004-11-09 10:56 919  
[ ]lth_of_poly.con.body.xml.gz2004-11-09 10:56 1.1K 
[ ]lth_of_poly.con.types.xml.gz2004-11-09 10:56 208  
[ ]lth_of_poly.con.xml.gz2004-11-09 10:56 548  
[ ]monic.con.body.xml.gz2004-11-09 10:56 840  
[ ]monic.con.types.xml.gz2004-11-09 10:56 198  
[ ]monic.con.xml.gz2004-11-09 10:56 568  
[ ]monic_apzero.con.body.xml.gz2004-11-09 10:56 2.1K 
[ ]monic_apzero.con.types.xml.gz2004-11-09 10:56 2.7K 
[ ]monic_apzero.con.xml.gz2004-11-09 10:56 877  
[ ]monic_c_one.con.body.xml.gz2004-11-09 10:56 1.4K 
[ ]monic_c_one.con.types.xml.gz2004-11-09 10:56 2.2K 
[ ]monic_c_one.con.xml.gz2004-11-09 10:56 859  
[ ]monic_cpoly_linear.con.body.xml.gz2004-11-09 10:56 3.9K 
[ ]monic_cpoly_linear.con.types.xml.gz2004-11-09 10:56 4.5K 
[ ]monic_cpoly_linear.con.xml.gz2004-11-09 10:56 1.1K 
[ ]monic_minus.con.body.xml.gz2004-11-09 10:56 4.1K 
[ ]monic_minus.con.types.xml.gz2004-11-09 10:56 4.9K 
[ ]monic_minus.con.xml.gz2004-11-09 10:56 1.0K 
[ ]monic_mult.con.body.xml.gz2004-11-09 10:56 8.1K 
[ ]monic_mult.con.types.xml.gz2004-11-09 10:56 12K 
[ ]monic_mult.con.xml.gz2004-11-09 10:56 1.3K 
[ ]monic_nexp.con.body.xml.gz2004-11-09 10:56 5.4K 
[ ]monic_nexp.con.types.xml.gz2004-11-09 10:56 6.9K 
[ ]monic_nexp.con.xml.gz2004-11-09 10:56 1.1K 
[ ]monic_one.con.body.xml.gz2004-11-09 10:56 9.4K 
[ ]monic_one.con.types.xml.gz2004-11-09 10:56 9.8K 
[ ]monic_one.con.xml.gz2004-11-09 10:56 1.5K 
[ ]monic_plus.con.body.xml.gz2004-11-09 10:56 13K 
[ ]monic_plus.con.types.xml.gz2004-11-09 10:56 20K 
[ ]monic_plus.con.xml.gz2004-11-09 10:56 1.3K 
[ ]monic_wd.con.body.xml.gz2004-11-09 10:56 2.5K 
[ ]monic_wd.con.types.xml.gz2004-11-09 10:56 2.6K 
[ ]monic_wd.con.xml.gz2004-11-09 10:56 938  
[ ]monic_x_.con.body.xml.gz2004-11-09 10:56 919  
[ ]monic_x_.con.types.xml.gz2004-11-09 10:56 1.2K 
[ ]monic_x_.con.xml.gz2004-11-09 10:56 658  
[ ]odd_cpoly.con.body.xml.gz2004-11-09 10:56 726  
[ ]odd_cpoly.con.types.xml.gz2004-11-09 10:56 204  
[ ]odd_cpoly.con.xml.gz2004-11-09 10:56 523  
[ ]poly_as_sum''.con.body.xml.gz2004-11-09 10:56 24K 
[ ]poly_as_sum''.con.types.xml.gz2004-11-09 10:56 36K 
[ ]poly_as_sum''.con.xml.gz2004-11-09 10:56 1.9K 
[ ]poly_as_sum'.con.body.xml.gz2004-11-09 10:56 687  
[ ]poly_as_sum'.con.types.xml.gz2004-11-09 10:56 3.0K 
[ ]poly_as_sum'.con.xml.gz2004-11-09 10:56 1.9K 
[ ]poly_as_sum.con.body.xml.gz2004-11-09 10:56 23K 
[ ]poly_as_sum.con.types.xml.gz2004-11-09 10:56 28K 
[ ]poly_as_sum.con.xml.gz2004-11-09 10:56 1.9K 
[ ]poly_degree_lth.con.body.xml.gz2004-11-09 10:56 1.5K 
[ ]poly_degree_lth.con.types.xml.gz2004-11-09 10:56 1.8K 
[ ]poly_degree_lth.con.xml.gz2004-11-09 10:56 660  
[ ]regular.con.body.xml.gz2004-11-09 10:56 675  
[ ]regular.con.types.xml.gz2004-11-09 10:56 202  
[ ]regular.con.xml.gz2004-11-09 10:56 519  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80