Index of /xml/CoRN/ftc/Partitions
Name
Last modified
Size
Description
Parent Directory
-
Definitions/
2005-07-05 08:13
-
Even_Partitions/
2005-07-05 08:13
-
Lemmas/
2005-07-05 08:13
-
More_Definitions/
2005-07-05 08:13
-
Sep_Partitions/
2005-07-05 08:13
-
Pts.con.types.xml.gz
2004-11-09 12:59
190
Mesh.con.types.xml.gz
2004-11-09 12:59
192
Partition.ind.types.xml.gz
2004-11-09 12:59
195
AntiMesh.con.types.xml.gz
2004-11-09 12:59
199
Separated.con.types.xml.gz
2004-11-09 13:02
201
Refinement.con.types.xml.gz
2004-11-09 12:59
202
_Separated.con.types.xml.gz
2004-11-09 13:02
203
Partition_rec.con.types.xml.gz
2004-11-09 12:59
204
Partition_rect.con.types.xml.gz
2004-11-09 12:59
205
Separated.con.xml.gz
2004-11-09 13:02
288
Refinement.con.xml.gz
2004-11-09 12:59
289
Partition_imp_points.con.types.xml.gz
2004-11-09 12:59
379
Partition_imp_points_1.con.xml.gz
2004-11-09 12:59
446
_Separated.con.xml.gz
2004-11-09 13:02
448
Partition_imp_points_2.con.xml.gz
2004-11-09 12:59
562
Partition_imp_points.con.body.xml.gz
2004-11-09 12:59
601
Partition_imp_points.con.xml.gz
2004-11-09 12:59
667
partition_length_zero.con.xml.gz
2004-11-09 13:02
669
Even_Partition_Sum.con.xml.gz
2004-11-09 12:59
693
Points_in_Partition.con.xml.gz
2004-11-09 12:59
695
Partition_imp_points_2.con.body.xml.gz
2004-11-09 12:59
774
Part_Mesh_List.con.types.xml.gz
2004-11-09 12:59
789
Mesh_leEq.con.xml.gz
2004-11-09 13:00
795
partition_less_imp_gt_zero.con.xml.gz
2004-11-09 13:02
866
Points_in_Partition.con.types.xml.gz
2004-11-09 12:59
889
_Separated_imp_length_zero.con.xml.gz
2004-11-09 13:02
899
Pts_part_lemma.con.xml.gz
2004-11-09 12:59
903
Even_Partition.con.xml.gz
2004-11-09 12:59
937
Mesh_lemma.con.xml.gz
2004-11-09 12:59
948
Mesh.con.body.xml.gz
2004-11-09 12:59
955
AntiMesh_lemma.con.xml.gz
2004-11-09 13:00
958
Even_Partition_Sum.con.body.xml.gz
2004-11-09 12:59
960
AntiMesh.con.body.xml.gz
2004-11-09 12:59
962
Mesh.con.xml.gz
2004-11-09 12:59
968
AntiMesh.con.xml.gz
2004-11-09 12:59
1.0K
_Separated_imp_length_zero_subproof.con.xml.gz
2004-11-09 13:02
1.0K
Partition_rec.con.body.xml.gz
2004-11-09 12:59
1.0K
refinement_resp_mult.con.xml.gz
2004-11-09 13:02
1.0K
Partition_ind.con.body.xml.gz
2004-11-09 12:59
1.0K
Pts.con.xml.gz
2004-11-09 12:59
1.0K
Even_Partition_Sum.con.types.xml.gz
2004-11-09 12:59
1.0K
part_pred_lemma.con.xml.gz
2004-11-09 12:59
1.0K
Part_Mesh_List.con.xml.gz
2004-11-09 12:59
1.0K
Partition_in_compact.con.xml.gz
2004-11-09 12:59
1.0K
Mesh_nonneg.con.xml.gz
2004-11-09 12:59
1.1K
even_partition_refinement.con.xml.gz
2004-11-09 13:02
1.1K
AntiMesh_nonneg.con.xml.gz
2004-11-09 12:59
1.1K
Partition_Points_mon.con.xml.gz
2004-11-09 13:01
1.1K
pos_AntiMesh.con.xml.gz
2004-11-09 13:02
1.1K
finish.con.xml.gz
2004-11-09 12:59
1.1K
start.con.xml.gz
2004-11-09 12:59
1.1K
Separated.con.body.xml.gz
2004-11-09 13:02
1.1K
_Separated.con.body.xml.gz
2004-11-09 13:02
1.1K
Partition_Dom.con.xml.gz
2004-11-09 12:59
1.1K
Points_in_Partition.con.body.xml.gz
2004-11-09 12:59
1.1K
prf2.con.xml.gz
2004-11-09 12:59
1.2K
Partition_mon.con.xml.gz
2004-11-09 12:59
1.2K
length_Part_Mesh_List.con.xml.gz
2004-11-09 12:59
1.2K
partition_length_zero.con.body.xml.gz
2004-11-09 13:02
1.2K
Partition_imp_points_1.con.body.xml.gz
2004-11-09 12:59
1.3K
prf1.con.xml.gz
2004-11-09 12:59
1.3K
Partition_Sum.con.xml.gz
2004-11-09 12:59
1.3K
part_pred_lemma.con.body.xml.gz
2004-11-09 12:59
1.4K
Refinement_prop.con.xml.gz
2004-11-09 12:59
1.5K
Refinement.con.body.xml.gz
2004-11-09 12:59
1.5K
even_partition_Mesh.con.xml.gz
2004-11-09 13:01
1.5K
Mesh_wd'.con.xml.gz
2004-11-09 13:00
1.5K
Mesh_wd'.con.body.xml.gz
2004-11-09 13:00
1.5K
Partition_Sum.con.types.xml.gz
2004-11-09 12:59
1.5K
Partition_imp_points_2.con.types.xml.gz
2004-11-09 12:59
1.6K
partition_length_zero.con.types.xml.gz
2004-11-09 13:02
1.6K
part_pred_lemma.con.types.xml.gz
2004-11-09 12:59
1.7K
Mesh_wd.con.xml.gz
2004-11-09 13:00
1.7K
partition_less_imp_gt_zero.con.types.xml.gz
2004-11-09 13:02
1.7K
Partition_in_compact.con.body.xml.gz
2004-11-09 12:59
2.0K
partition_less_imp_gt_zero.con.body.xml.gz
2004-11-09 13:02
2.0K
Part_Mesh_List_lemma.con.xml.gz
2004-11-09 12:59
2.1K
Mesh_wd'.con.types.xml.gz
2004-11-09 13:00
2.2K
even_part_2.con.xml.gz
2004-11-09 12:59
2.2K
even_part_1.con.xml.gz
2004-11-09 12:59
2.2K
Partition_Dom.con.body.xml.gz
2004-11-09 12:59
2.3K
Partition_imp_points_1.con.types.xml.gz
2004-11-09 12:59
2.3K
Partition_rect.con.xml.gz
2004-11-09 12:59
2.4K
Partition_rec.con.xml.gz
2004-11-09 12:59
2.4K
Partition_ind.con.xml.gz
2004-11-09 12:59
2.4K
Partition.ind.xml.gz
2004-11-09 12:59
2.4K
Pts.con.body.xml.gz
2004-11-09 12:59
2.4K
Partition_in_compact.con.types.xml.gz
2004-11-09 12:59
2.5K
Partition_Sum.con.body.xml.gz
2004-11-09 12:59
2.5K
Partition_rect.con.body.xml.gz
2004-11-09 12:59
2.6K
finish.con.body.xml.gz
2004-11-09 12:59
2.6K
start.con.body.xml.gz
2004-11-09 12:59
2.6K
Partition_Points_mon.con.body.xml.gz
2004-11-09 13:01
2.7K
prf2.con.body.xml.gz
2004-11-09 12:59
2.7K
INDEX
2005-07-05 08:11
2.8K
prf1.con.body.xml.gz
2004-11-09 12:59
2.8K
_Separated_imp_length_zero.con.body.xml.gz
2004-11-09 13:02
3.0K
_Separated_imp_length_zero.con.types.xml.gz
2004-11-09 13:02
3.1K
finish.con.types.xml.gz
2004-11-09 12:59
3.2K
start.con.types.xml.gz
2004-11-09 12:59
3.2K
Partition_ind.con.types.xml.gz
2004-11-09 12:59
3.3K
Partition_Points_mon.con.types.xml.gz
2004-11-09 13:01
3.3K
Part_Mesh_List.con.body.xml.gz
2004-11-09 12:59
3.4K
Pts_part_lemma.con.body.xml.gz
2004-11-09 12:59
3.4K
prf2.con.types.xml.gz
2004-11-09 12:59
3.5K
Partition_Dom.con.types.xml.gz
2004-11-09 12:59
4.0K
prf1.con.types.xml.gz
2004-11-09 12:59
4.1K
Pts_part_lemma.con.types.xml.gz
2004-11-09 12:59
4.4K
_Separated_imp_length_zero_subproof.con.types.xml.gz
2004-11-09 13:02
4.5K
_Separated_imp_length_zero_subproof.con.body.xml.gz
2004-11-09 13:02
5.4K
length_Part_Mesh_List.con.body.xml.gz
2004-11-09 12:59
5.5K
length_Part_Mesh_List.con.types.xml.gz
2004-11-09 12:59
7.0K
even_partition_refinement.con.body.xml.gz
2004-11-09 13:02
7.2K
Mesh_nonneg.con.body.xml.gz
2004-11-09 12:59
8.0K
even_partition_refinement.con.types.xml.gz
2004-11-09 13:02
10K
Mesh_nonneg.con.types.xml.gz
2004-11-09 12:59
11K
Refinement_prop.con.types.xml.gz
2004-11-09 12:59
11K
AntiMesh_nonneg.con.body.xml.gz
2004-11-09 12:59
12K
Part_Mesh_List_lemma.con.types.xml.gz
2004-11-09 12:59
13K
Partition_mon.con.types.xml.gz
2004-11-09 12:59
14K
pos_AntiMesh.con.types.xml.gz
2004-11-09 13:02
14K
pos_AntiMesh.con.body.xml.gz
2004-11-09 13:02
14K
Partition_mon.con.body.xml.gz
2004-11-09 12:59
15K
Even_Partition.con.body.xml.gz
2004-11-09 12:59
16K
AntiMesh_nonneg.con.types.xml.gz
2004-11-09 12:59
16K
Refinement_prop.con.body.xml.gz
2004-11-09 12:59
21K
even_part_1.con.body.xml.gz
2004-11-09 12:59
25K
even_part_2.con.body.xml.gz
2004-11-09 12:59
26K
even_part_1.con.types.xml.gz
2004-11-09 12:59
28K
Part_Mesh_List_lemma.con.body.xml.gz
2004-11-09 12:59
28K
Mesh_leEq.con.body.xml.gz
2004-11-09 13:00
29K
Mesh_leEq.con.types.xml.gz
2004-11-09 13:00
29K
even_part_2.con.types.xml.gz
2004-11-09 12:59
29K
Mesh_wd.con.body.xml.gz
2004-11-09 13:00
30K
Mesh_lemma.con.body.xml.gz
2004-11-09 12:59
33K
Even_Partition.con.types.xml.gz
2004-11-09 12:59
35K
Mesh_lemma.con.types.xml.gz
2004-11-09 12:59
55K
Mesh_wd.con.types.xml.gz
2004-11-09 13:00
59K
AntiMesh_lemma.con.body.xml.gz
2004-11-09 13:00
70K
refinement_resp_mult.con.body.xml.gz
2004-11-09 13:02
102K
refinement_resp_mult.con.types.xml.gz
2004-11-09 13:02
114K
AntiMesh_lemma.con.types.xml.gz
2004-11-09 13:00
118K
even_partition_Mesh.con.body.xml.gz
2004-11-09 13:01
564K
even_partition_Mesh.con.types.xml.gz
2004-11-09 13:01
734K
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80