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