Index of /xml/Sophia-Antipolis/Buchberger/Pcrit

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]crit/2005-07-05 08:13 -  
[ ]divPp.con.types.xml.gz2004-04-08 10:04 203  
[ ]divpf.con.types.xml.gz2004-04-08 10:04 203  
[ ]Dmult.con.types.xml.gz2004-04-08 10:04 204  
[ ]Rminus.con.types.xml.gz2004-04-08 10:04 205  
[ ]divPp.con.xml.gz2004-04-08 10:04 496  
[ ]divpf.con.xml.gz2004-04-08 10:04 683  
[ ]Dmult.con.xml.gz2004-04-08 10:04 717  
[ ]Rminus.con.xml.gz2004-04-08 10:04 750  
[ ]divpf_canonical.con.xml.gz2004-04-08 10:04 921  
[ ]divPp.con.body.xml.gz2004-04-08 10:04 1.0K 
[ ]canonical_Dmult.con.xml.gz2004-04-08 10:04 1.0K 
[ ]divPp_divpf.con.xml.gz2004-04-08 10:04 1.0K 
[ ]divPp_mults1.con.xml.gz2004-04-08 10:04 1.0K 
[ ]canonical_Rminus.con.xml.gz2004-04-08 10:04 1.1K 
[ ]spoly_reduceplus_pO.con.xml.gz2004-04-08 10:04 1.2K 
[ ]divpf_comp.con.xml.gz2004-04-08 10:04 1.3K 
[ ]Dmult_is_mulpf.con.xml.gz2004-04-08 10:04 1.3K 
[ ]minuspf_in.con.xml.gz2004-04-08 10:04 1.3K 
[ ]divp_is_multTerm.con.xml.gz2004-04-08 10:04 1.3K 
[ ]Rminus_is_mult.con.xml.gz2004-04-08 10:04 1.4K 
[ ]Rminus_in.con.xml.gz2004-04-08 10:04 1.4K 
[ ]multTerm_or_z_d2.con.xml.gz2004-04-08 10:04 1.4K 
[ ]Dmult.con.body.xml.gz2004-04-08 10:04 1.4K 
[ ]multTerm_or_z_d1.con.xml.gz2004-04-08 10:04 1.4K 
[ ]divpf.con.body.xml.gz2004-04-08 10:04 1.5K 
[ ]INDEX2005-07-05 08:12 1.5K 
[ ]Rminus.con.body.xml.gz2004-04-08 10:04 1.5K 
[ ]in_minuspf_spoly_in.con.xml.gz2004-04-08 10:04 1.6K 
[ ]Rminus_is_reduceplus.con.xml.gz2004-04-08 10:04 1.7K 
[ ]fspoly_Reduceplus_pO.con.xml.gz2004-04-08 10:04 1.7K 
[ ]sp_Rminus.con.xml.gz2004-04-08 10:04 1.9K 
[ ]minus_is_reduce.con.xml.gz2004-04-08 10:04 1.9K 
[ ]spoly_Reducestar_ppc.con.xml.gz2004-04-08 10:04 1.9K 
[ ]spoly_Reducestar_pO.con.xml.gz2004-04-08 10:04 2.0K 
[ ]spoly_Reduce.con.xml.gz2004-04-08 10:04 2.0K 
[ ]spoly_Reducestar_ppc.con.body.xml.gz2004-04-08 10:04 2.3K 
[ ]minuspf_spoly_in.con.xml.gz2004-04-08 10:04 2.5K 
[ ]spoly_Reducestar_ppc.con.types.xml.gz2004-04-08 10:04 2.9K 
[ ]divpf_canonical.con.body.xml.gz2004-04-08 10:04 3.2K 
[ ]divPp_mults1.con.body.xml.gz2004-04-08 10:04 3.3K 
[ ]canonical_Dmult.con.body.xml.gz2004-04-08 10:04 3.6K 
[ ]in_minuspf_spoly_in.con.body.xml.gz2004-04-08 10:04 4.1K 
[ ]divpf_canonical.con.types.xml.gz2004-04-08 10:04 4.5K 
[ ]canonical_Rminus.con.body.xml.gz2004-04-08 10:04 4.7K 
[ ]divPp_mults1.con.types.xml.gz2004-04-08 10:04 4.8K 
[ ]canonical_Dmult.con.types.xml.gz2004-04-08 10:04 5.8K 
[ ]divpf_comp.con.body.xml.gz2004-04-08 10:04 7.0K 
[ ]canonical_Rminus.con.types.xml.gz2004-04-08 10:04 7.6K 
[ ]in_minuspf_spoly_in.con.types.xml.gz2004-04-08 10:04 7.7K 
[ ]spoly_Reduce.con.body.xml.gz2004-04-08 10:04 8.8K 
[ ]multTerm_or_z_d2.con.body.xml.gz2004-04-08 10:04 8.8K 
[ ]Rminus_is_reduceplus.con.body.xml.gz2004-04-08 10:04 9.8K 
[ ]fspoly_Reduceplus_pO.con.body.xml.gz2004-04-08 10:04 9.8K 
[ ]multTerm_or_z_d1.con.body.xml.gz2004-04-08 10:04 10K 
[ ]Dmult_is_mulpf.con.body.xml.gz2004-04-08 10:04 10K 
[ ]multTerm_or_z_d2.con.types.xml.gz2004-04-08 10:04 12K 
[ ]multTerm_or_z_d1.con.types.xml.gz2004-04-08 10:04 12K 
[ ]Rminus_in.con.body.xml.gz2004-04-08 10:04 13K 
[ ]divpf_comp.con.types.xml.gz2004-04-08 10:04 13K 
[ ]Rminus_is_reduceplus.con.types.xml.gz2004-04-08 10:04 15K 
[ ]fspoly_Reduceplus_pO.con.types.xml.gz2004-04-08 10:04 15K 
[ ]Dmult_is_mulpf.con.types.xml.gz2004-04-08 10:04 16K 
[ ]minuspf_in.con.body.xml.gz2004-04-08 10:04 19K 
[ ]spoly_Reduce.con.types.xml.gz2004-04-08 10:04 20K 
[ ]Rminus_in.con.types.xml.gz2004-04-08 10:04 20K 
[ ]minus_is_reduce.con.body.xml.gz2004-04-08 10:04 20K 
[ ]minuspf_in.con.types.xml.gz2004-04-08 10:04 25K 
[ ]divPp_divpf.con.body.xml.gz2004-04-08 10:04 25K 
[ ]divp_is_multTerm.con.body.xml.gz2004-04-08 10:04 27K 
[ ]minus_is_reduce.con.types.xml.gz2004-04-08 10:04 30K 
[ ]divPp_divpf.con.types.xml.gz2004-04-08 10:04 33K 
[ ]minuspf_spoly_in.con.body.xml.gz2004-04-08 10:04 36K 
[ ]divp_is_multTerm.con.types.xml.gz2004-04-08 10:04 36K 
[ ]spoly_Reducestar_pO.con.body.xml.gz2004-04-08 10:04 39K 
[ ]spoly_Reducestar_pO.con.types.xml.gz2004-04-08 10:04 39K 
[ ]Rminus_is_mult.con.body.xml.gz2004-04-08 10:04 41K 
[ ]Rminus_is_mult.con.types.xml.gz2004-04-08 10:04 46K 
[ ]spoly_reduceplus_pO.con.body.xml.gz2004-04-08 10:04 50K 
[ ]spoly_reduceplus_pO.con.types.xml.gz2004-04-08 10:04 58K 
[ ]minuspf_spoly_in.con.types.xml.gz2004-04-08 10:04 73K 
[ ]sp_Rminus.con.types.xml.gz2004-04-08 10:04 110K 
[ ]sp_Rminus.con.body.xml.gz2004-04-08 10:04 122K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80