Index of /xml/Sophia-Antipolis/Buchberger/Monomials
Name
Last modified
Size
Description
Parent Directory
-
mdiv_trans.con.types.xml.gz
2004-04-08 09:57
61K
div_clean_dec1.con.types.xml.gz
2004-04-08 09:57
56K
mdiv_trans.con.body.xml.gz
2004-04-08 09:57
44K
div_clean_dec2.con.types.xml.gz
2004-04-08 09:57
29K
div_clean_dec1.con.body.xml.gz
2004-04-08 09:57
17K
ppcm_mom_is_ppcm.con.types.xml.gz
2004-04-08 09:57
13K
div_clean_dec2.con.body.xml.gz
2004-04-08 09:57
12K
eqmon_dec.con.body.xml.gz
2004-04-08 09:57
12K
ppcm_mom_is_ppcm.con.body.xml.gz
2004-04-08 09:57
8.6K
eqmon_dec.con.types.xml.gz
2004-04-08 09:57
7.9K
ppcm_prop_r.con.types.xml.gz
2004-04-08 09:57
5.9K
ppcm_prop_l.con.types.xml.gz
2004-04-08 09:57
5.9K
ppcm_prop_r.con.body.xml.gz
2004-04-08 09:57
5.4K
ppcm_prop_l.con.body.xml.gz
2004-04-08 09:57
5.4K
mult_mon_assoc.con.types.xml.gz
2004-04-08 09:57
4.5K
mult_mon_assoc.con.body.xml.gz
2004-04-08 09:57
3.8K
plus_minus_le.con.types.xml.gz
2004-04-08 09:57
3.6K
mult_div_com.con.types.xml.gz
2004-04-08 09:57
3.2K
mult_mon_com.con.types.xml.gz
2004-04-08 09:57
3.0K
ppcm_com.con.types.xml.gz
2004-04-08 09:57
3.0K
mult_div_com.con.body.xml.gz
2004-04-08 09:57
2.9K
mult_mon_com.con.body.xml.gz
2004-04-08 09:57
2.8K
ppcm_com.con.body.xml.gz
2004-04-08 09:57
2.8K
plus_minus_le.con.body.xml.gz
2004-04-08 09:57
2.7K
mdiv_div.con.types.xml.gz
2004-04-08 09:57
2.5K
div_mon_clean.con.body.xml.gz
2004-04-08 09:57
2.5K
mdiv_div.con.body.xml.gz
2004-04-08 09:57
2.4K
minus_lt_0.con.types.xml.gz
2004-04-08 09:57
2.0K
recomp_ok.con.types.xml.gz
2004-04-08 09:57
1.9K
proj_ok.con.types.xml.gz
2004-04-08 09:57
1.9K
mult_mon_zero_r.con.types.xml.gz
2004-04-08 09:57
1.9K
mdiv_ind.con.types.xml.gz
2004-04-08 09:57
1.8K
minus_lt_0.con.body.xml.gz
2004-04-08 09:57
1.8K
INDEX
2005-07-05 08:12
1.8K
mdiv_ind.con.body.xml.gz
2004-04-08 09:57
1.8K
mult_div_id.con.types.xml.gz
2004-04-08 09:57
1.7K
mdiv_proj.con.body.xml.gz
2004-04-08 09:57
1.6K
mult_mon_zero_r.con.body.xml.gz
2004-04-08 09:57
1.6K
mult_div_id.con.body.xml.gz
2004-04-08 09:57
1.6K
mult_mon_zero_l.con.types.xml.gz
2004-04-08 09:57
1.5K
recomp_ok.con.body.xml.gz
2004-04-08 09:57
1.5K
mdiv_proj.con.types.xml.gz
2004-04-08 09:57
1.4K
mult_mon_zero_l.con.body.xml.gz
2004-04-08 09:57
1.3K
is_nil_id.con.types.xml.gz
2004-04-08 09:57
1.2K
mon_rect.con.body.xml.gz
2004-04-08 09:57
1.2K
recomp.con.body.xml.gz
2004-04-08 09:57
1.1K
proj_ok.con.body.xml.gz
2004-04-08 09:57
1.1K
mult_mon.con.body.xml.gz
2004-04-08 09:57
1.0K
div_mon.con.body.xml.gz
2004-04-08 09:57
1.0K
ppcm_mon.con.body.xml.gz
2004-04-08 09:57
1.0K
mon_ind.con.types.xml.gz
2004-04-08 09:57
1.0K
mdiv_ind.con.xml.gz
2004-04-08 09:57
1.0K
is_nil_id.con.body.xml.gz
2004-04-08 09:57
945
gen_mon.con.body.xml.gz
2004-04-08 09:57
944
ppcm_mom_is_ppcm.con.xml.gz
2004-04-08 09:57
855
div_clean_dec1.con.xml.gz
2004-04-08 09:57
846
mdiv.ind.xml.gz
2004-04-08 09:57
845
mon_ind.con.xml.gz
2004-04-08 09:57
768
mon_rec.con.xml.gz
2004-04-08 09:57
762
mon_rect.con.xml.gz
2004-04-08 09:57
758
mon_0.con.types.xml.gz
2004-04-08 09:57
758
mdiv_proj.con.xml.gz
2004-04-08 09:57
743
div_clean_dec2.con.xml.gz
2004-04-08 09:57
740
pmon2.con.body.xml.gz
2004-04-08 09:57
699
is_nil.con.body.xml.gz
2004-04-08 09:57
686
pmon1.con.body.xml.gz
2004-04-08 09:57
643
mult_mon_assoc.con.xml.gz
2004-04-08 09:57
643
ppcm_prop_l.con.xml.gz
2004-04-08 09:57
628
ppcm_prop_r.con.xml.gz
2004-04-08 09:57
627
proj_ok.con.xml.gz
2004-04-08 09:57
621
mdiv_div.con.xml.gz
2004-04-08 09:57
618
recomp_ok.con.xml.gz
2004-04-08 09:57
606
eqmon_dec.con.xml.gz
2004-04-08 09:57
594
zero_mon.con.body.xml.gz
2004-04-08 09:57
585
mult_div_com.con.xml.gz
2004-04-08 09:57
571
mon_0.con.body.xml.gz
2004-04-08 09:57
567
mon.ind.xml.gz
2004-04-08 09:57
567
mult_mon_com.con.xml.gz
2004-04-08 09:57
561
ppcm_com.con.xml.gz
2004-04-08 09:57
554
recomp.con.types.xml.gz
2004-04-08 09:57
547
mult_mon_zero_r.con.xml.gz
2004-04-08 09:57
532
mult_mon_zero_l.con.xml.gz
2004-04-08 09:57
529
mult_div_id.con.xml.gz
2004-04-08 09:57
519
plus_minus_le.con.xml.gz
2004-04-08 09:57
509
recomp.con.xml.gz
2004-04-08 09:57
505
mdiv_trans.con.xml.gz
2004-04-08 09:57
499
is_nil_id.con.xml.gz
2004-04-08 09:57
497
minus_lt_0.con.xml.gz
2004-04-08 09:57
493
mon_ind.con.body.xml.gz
2004-04-08 09:57
490
mon_rec.con.body.xml.gz
2004-04-08 09:57
486
div_mon_clean.con.xml.gz
2004-04-08 09:57
466
mon_0.con.xml.gz
2004-04-08 09:57
450
pmon2.con.xml.gz
2004-04-08 09:57
432
ppcm_mon.con.xml.gz
2004-04-08 09:57
420
mult_mon.con.xml.gz
2004-04-08 09:57
420
div_mon.con.xml.gz
2004-04-08 09:57
419
is_nil.con.xml.gz
2004-04-08 09:57
398
pmon1.con.xml.gz
2004-04-08 09:57
384
gen_mon.con.xml.gz
2004-04-08 09:57
383
zero_mon.con.xml.gz
2004-04-08 09:57
376
div_mon_clean.con.types.xml.gz
2004-04-08 09:57
220
zero_mon.con.types.xml.gz
2004-04-08 09:57
212
ppcm_mon.con.types.xml.gz
2004-04-08 09:57
212
mult_mon.con.types.xml.gz
2004-04-08 09:57
212
mon_rect.con.types.xml.gz
2004-04-08 09:57
212
mon_rec.con.types.xml.gz
2004-04-08 09:57
211
gen_mon.con.types.xml.gz
2004-04-08 09:57
210
div_mon.con.types.xml.gz
2004-04-08 09:57
210
is_nil.con.types.xml.gz
2004-04-08 09:57
208
pmon2.con.types.xml.gz
2004-04-08 09:57
207
pmon1.con.types.xml.gz
2004-04-08 09:57
206
mdiv.ind.types.xml.gz
2004-04-08 09:57
204
mon.ind.types.xml.gz
2004-04-08 09:57
202
Monomials/
2005-07-05 08:13
-
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80