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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]reduce_mults_invf.con.types.xml.gz2004-04-08 10:01 100K 
[ ]reduce_mults_inv_lem.con.types.xml.gz2004-04-08 10:01 72K 
[ ]reduce_mults_inv_lem.con.body.xml.gz2004-04-08 10:01 68K 
[ ]reduce_mults_invf.con.body.xml.gz2004-04-08 10:01 61K 
[ ]reduce_inv2.con.types.xml.gz2004-04-08 10:01 59K 
[ ]mults_eqp_inv.con.types.xml.gz2004-04-08 10:01 59K 
[ ]reduce_inv2.con.body.xml.gz2004-04-08 10:01 50K 
[ ]mults_eqp_inv.con.body.xml.gz2004-04-08 10:01 40K 
[ ]reduce_eqp_com.con.types.xml.gz2004-04-08 10:01 36K 
[ ]reduce_eqp_com.con.body.xml.gz2004-04-08 10:01 34K 
[ ]reduce_in_pO.con.types.xml.gz2004-04-08 10:01 33K 
[ ]reduce_inv.con.types.xml.gz2004-04-08 10:01 31K 
[ ]irreducible_inv_px_l.con.types.xml.gz2004-04-08 10:01 27K 
[ ]reduce_in_pO.con.body.xml.gz2004-04-08 10:01 24K 
[ ]irreducible_inv_px_l.con.body.xml.gz2004-04-08 10:01 23K 
[ ]reduce_inv.con.body.xml.gz2004-04-08 10:01 23K 
[ ]inPolySet_inv1.con.types.xml.gz2004-04-08 10:01 13K 
[ ]In_inp_inPolySet.con.types.xml.gz2004-04-08 10:01 13K 
[ ]in_inPolySet.con.types.xml.gz2004-04-08 10:01 13K 
[ ]reduce_mults.con.types.xml.gz2004-04-08 10:01 11K 
[ ]inPolySet_inv0.con.types.xml.gz2004-04-08 10:01 11K 
[ ]reduce_mults.con.body.xml.gz2004-04-08 10:01 11K 
[ ]inPolySet_inv0.con.body.xml.gz2004-04-08 10:01 10K 
[ ]ltP_reduce.con.types.xml.gz2004-04-08 10:01 9.9K 
[ ]inPolySet_inv1.con.body.xml.gz2004-04-08 10:01 9.4K 
[ ]ltP_reduce.con.body.xml.gz2004-04-08 10:01 8.9K 
[ ]pO_irreducible.con.types.xml.gz2004-04-08 10:01 8.1K 
[ ]pO_reduce.con.types.xml.gz2004-04-08 10:01 8.0K 
[ ]in_inPolySet.con.body.xml.gz2004-04-08 10:01 7.6K 
[ ]In_inp_inPolySet.con.body.xml.gz2004-04-08 10:01 7.3K 
[ ]pO_reduce.con.body.xml.gz2004-04-08 10:01 6.4K 
[ ]pO_irreducible.con.body.xml.gz2004-04-08 10:01 6.4K 
[ ]pick_inv_eqT_lem.con.types.xml.gz2004-04-08 10:01 6.2K 
[ ]pickinSetp_ind.con.types.xml.gz2004-04-08 10:01 5.3K 
[ ]pick_inv_eqT_lem.con.body.xml.gz2004-04-08 10:01 5.2K 
[ ]canonical_reduce.con.body.xml.gz2004-04-08 10:01 5.0K 
[ ]inPolySet_ind.con.types.xml.gz2004-04-08 10:01 4.6K 
[ ]canonical_reduce.con.types.xml.gz2004-04-08 10:01 4.4K 
[ ]pickinSetp_ind.con.body.xml.gz2004-04-08 10:01 4.4K 
[ ]reduce_ind.con.body.xml.gz2004-04-08 10:01 4.2K 
[ ]pickin_is_pX.con.types.xml.gz2004-04-08 10:01 4.1K 
[ ]reduce_ind.con.types.xml.gz2004-04-08 10:01 4.0K 
[ ]inPolySet_is_pX.con.types.xml.gz2004-04-08 10:01 3.9K 
[ ]not_nil_in_polySet_elm.con.body.xml.gz2004-04-08 10:01 3.8K 
[ ]pickin_is_pX.con.body.xml.gz2004-04-08 10:01 3.7K 
[ ]inPolySet_ind.con.body.xml.gz2004-04-08 10:01 3.5K 
[ ]not_nil_in_polySet_elm.con.types.xml.gz2004-04-08 10:01 3.2K 
[ ]inPolySet_is_pX.con.body.xml.gz2004-04-08 10:01 3.2K 
[ ]pick_inv_in.con.types.xml.gz2004-04-08 10:01 3.2K 
[ ]Incl_inp_inPolySet.con.body.xml.gz2004-04-08 10:01 3.1K 
[ ]pickinSetp_ind.con.xml.gz2004-04-08 10:01 2.7K 
[ ]Incl_inp_inPolySet.con.types.xml.gz2004-04-08 10:01 2.7K 
[ ]pickinSetp.ind.xml.gz2004-04-08 10:01 2.4K 
[ ]inPolySet_ind.con.xml.gz2004-04-08 10:01 2.4K 
[ ]reduce_ind.con.xml.gz2004-04-08 10:01 2.3K 
[ ]reducehead_imp_reduce.con.body.xml.gz2004-04-08 10:01 2.3K 
[ ]reducehead_imp_reduce.con.types.xml.gz2004-04-08 10:01 2.2K 
[ ]INDEX2005-07-05 08:12 2.2K 
[ ]irreducible_eqp_com.con.types.xml.gz2004-04-08 10:01 2.2K 
[ ]reduce.ind.xml.gz2004-04-08 10:01 2.1K 
[ ]inPolySet.ind.xml.gz2004-04-08 10:01 2.1K 
[ ]pick_inv_in.con.body.xml.gz2004-04-08 10:01 2.1K 
[ ]irreducible_eqp_com.con.body.xml.gz2004-04-08 10:01 2.0K 
[ ]reducetop_sp.con.types.xml.gz2004-04-08 10:01 1.9K 
[ ]reducehead_ind.con.body.xml.gz2004-04-08 10:01 1.9K 
[ ]reduce_inv2.con.xml.gz2004-04-08 10:01 1.8K 
[ ]reducetop_sp.con.body.xml.gz2004-04-08 10:01 1.8K 
[ ]inPolySet_imp_canonical.con.body.xml.gz2004-04-08 10:01 1.6K 
[ ]reducehead_ind.con.types.xml.gz2004-04-08 10:01 1.6K 
[ ]reduce_mults_invr.con.types.xml.gz2004-04-08 10:01 1.6K 
[ ]reducehead_ind.con.xml.gz2004-04-08 10:01 1.6K 
[ ]not_nil_in_polySet.con.types.xml.gz2004-04-08 10:01 1.6K 
[ ]inPolySet_imp_canonical.con.types.xml.gz2004-04-08 10:01 1.5K 
[ ]reduce_mults_invr.con.body.xml.gz2004-04-08 10:01 1.5K 
[ ]reducehead.ind.xml.gz2004-04-08 10:01 1.4K 
[ ]reduce_mults_invf.con.xml.gz2004-04-08 10:01 1.4K 
[ ]reducetop_sp.con.xml.gz2004-04-08 10:01 1.4K 
[ ]s2p.con.body.xml.gz2004-04-08 10:01 1.3K 
[ ]reduce_mults_inv_lem.con.xml.gz2004-04-08 10:01 1.3K 
[ ]pick_inv_eqT.con.types.xml.gz2004-04-08 10:01 1.2K 
[ ]pickin_is_pX.con.xml.gz2004-04-08 10:01 1.2K 
[ ]inPolySet_is_pX.con.xml.gz2004-04-08 10:01 1.1K 
[ ]reduce_inv.con.xml.gz2004-04-08 10:01 1.1K 
[ ]inPolySet_inv1.con.xml.gz2004-04-08 10:01 1.1K 
[ ]reduce_mults_invr.con.xml.gz2004-04-08 10:01 1.1K 
[ ]pick_inv_eqT.con.body.xml.gz2004-04-08 10:01 1.1K 
[ ]not_nil_in_polySet.con.body.xml.gz2004-04-08 10:01 1.1K 
[ ]reduce_mults.con.xml.gz2004-04-08 10:01 1.1K 
[ ]pick_inv_eqT_lem.con.xml.gz2004-04-08 10:01 1.1K 
[ ]reduce_eqp_com.con.xml.gz2004-04-08 10:01 1.1K 
[ ]irreducible_inv_px_l.con.xml.gz2004-04-08 10:01 1.0K 
[ ]mults_eqp_inv.con.xml.gz2004-04-08 10:01 1.0K 
[ ]In_inp_inPolySet.con.xml.gz2004-04-08 10:01 1.0K 
[ ]in_inPolySet.con.xml.gz2004-04-08 10:01 1.0K 
[ ]pick_inv_eqT.con.xml.gz2004-04-08 10:01 1.0K 
[ ]irreducible_eqp_com.con.xml.gz2004-04-08 10:01 943  
[ ]canonical_reduce.con.xml.gz2004-04-08 10:01 893  
[ ]ltP_reduce.con.xml.gz2004-04-08 10:01 887  
[ ]Incl_inp_inPolySet.con.xml.gz2004-04-08 10:01 864  
[ ]not_nil_in_polySet_elm.con.xml.gz2004-04-08 10:01 831  
[ ]irreducible.con.body.xml.gz2004-04-08 10:01 815  
[ ]reducehead_imp_reduce.con.xml.gz2004-04-08 10:01 780  
[ ]inPolySet_inv0.con.xml.gz2004-04-08 10:01 774  
[ ]reduce_in_pO.con.xml.gz2004-04-08 10:01 767  
[ ]pick_inv_in.con.xml.gz2004-04-08 10:01 757  
[ ]inPolySet_imp_canonical.con.xml.gz2004-04-08 10:01 754  
[ ]pO_reduce.con.xml.gz2004-04-08 10:01 730  
[ ]not_nil_in_polySet.con.xml.gz2004-04-08 10:01 698  
[ ]pO_irreducible.con.xml.gz2004-04-08 10:01 643  
[ ]irreducible.con.xml.gz2004-04-08 10:01 599  
[ ]s2p.con.xml.gz2004-04-08 10:01 525  
[ ]irreducible.con.types.xml.gz2004-04-08 10:01 214  
[ ]reducehead.ind.types.xml.gz2004-04-08 10:01 212  
[ ]pickinSetp.ind.types.xml.gz2004-04-08 10:01 212  
[ ]inPolySet.ind.types.xml.gz2004-04-08 10:01 211  
[ ]reduce.ind.types.xml.gz2004-04-08 10:01 205  
[ ]s2p.con.types.xml.gz2004-04-08 10:01 202  
[DIR]Preduce/2005-07-05 08:13 -  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80