Index of /xml/Sophia-Antipolis/MATHS/GEOMETRY/basis
Name
Last modified
Size
Description
Parent Directory
-
inc_ln1.con.types.xml.gz
2006-03-28 19:04
4.1K
inc_ln2.con.types.xml.gz
2006-03-28 19:04
4.1K
inc_pt1.con.types.xml.gz
2006-03-28 19:04
4.1K
inc_pt2.con.types.xml.gz
2006-03-28 19:04
4.1K
Neg_apart_equiv.con.types.xml.gz
2006-03-28 19:04
2.5K
connect2.con.types.xml.gz
2006-03-28 19:04
2.2K
connect1.con.types.xml.gz
2006-03-28 19:04
2.2K
inc_pt2.con.body.xml.gz
2006-03-28 19:04
2.0K
inc_pt1.con.body.xml.gz
2006-03-28 19:04
1.9K
inc_ln1.con.body.xml.gz
2006-03-28 19:04
1.9K
inc_ln2.con.body.xml.gz
2006-03-28 19:04
1.9K
Parallelogram_ind.con.types.xml.gz
2006-03-28 19:04
1.6K
Neg_apart_equiv.con.body.xml.gz
2006-03-28 19:04
1.6K
parsides_ii.con.types.xml.gz
2006-03-28 19:04
1.6K
parsides_i.con.types.xml.gz
2006-03-28 19:04
1.5K
Apart_imp_Sym.con.types.xml.gz
2006-03-28 19:04
1.4K
Sym_imp_NegSym.con.types.xml.gz
2006-03-28 19:04
1.4K
Parallelogram_rect.con.body.xml.gz
2006-03-28 19:04
1.2K
connect2.con.body.xml.gz
2006-03-28 19:04
1.2K
connect1.con.body.xml.gz
2006-03-28 19:04
1.2K
parsides_ii.con.body.xml.gz
2006-03-28 19:04
1.1K
parsides_i.con.body.xml.gz
2006-03-28 19:04
1.1K
Parallelogram_rect.con.xml.gz
2006-03-28 19:04
1.1K
Parallelogram_rec.con.xml.gz
2006-03-28 19:04
1.1K
Parallelogram_ind.con.xml.gz
2006-03-28 19:04
1.1K
Apart_imp_Sym.con.body.xml.gz
2006-03-28 19:04
1.1K
side3.con.body.xml.gz
2006-03-28 19:04
1.0K
side2.con.body.xml.gz
2006-03-28 19:04
1.0K
side1.con.body.xml.gz
2006-03-28 19:04
1.0K
side4.con.body.xml.gz
2006-03-28 19:04
1.0K
Triangle_def.con.types.xml.gz
2006-03-28 19:04
1.0K
Tri_cond.con.types.xml.gz
2006-03-28 19:04
1.0K
ln.con.body.xml.gz
2006-03-28 19:04
928
Parallelogram.ind.xml.gz
2006-03-28 19:04
925
pt.con.body.xml.gz
2006-03-28 19:04
920
Seg_cond.con.types.xml.gz
2006-03-28 19:04
893
Twol_cond.con.types.xml.gz
2006-03-28 19:04
884
Triangle_ind.con.types.xml.gz
2006-03-28 19:04
841
sym_EqPt.con.types.xml.gz
2006-03-28 19:04
837
sym_EqLn.con.types.xml.gz
2006-03-28 19:04
837
sym_Par.con.types.xml.gz
2006-03-28 19:04
835
Segment_ind.con.types.xml.gz
2006-03-28 19:04
807
Twolines_ind.con.types.xml.gz
2006-03-28 19:04
800
Triangle_rect.con.body.xml.gz
2006-03-28 19:04
798
Equivalence_ind.con.types.xml.gz
2006-03-28 19:04
788
Segment_rect.con.body.xml.gz
2006-03-28 19:04
779
sym_ConLn.con.types.xml.gz
2006-03-28 19:04
778
sym_DiPt.con.types.xml.gz
2006-03-28 19:04
775
sym_DiLn.con.types.xml.gz
2006-03-28 19:04
775
Twolines_rect.con.body.xml.gz
2006-03-28 19:04
773
Sym_imp_NegSym.con.body.xml.gz
2006-03-28 19:04
771
Equivalence_rect.con.body.xml.gz
2006-03-28 19:04
736
Apartness_ind.con.types.xml.gz
2006-03-28 19:04
727
Tri_cond.con.body.xml.gz
2006-03-28 19:04
713
sym_EqPt.con.body.xml.gz
2006-03-28 19:04
705
sym_EqLn.con.body.xml.gz
2006-03-28 19:04
705
sym_Par.con.body.xml.gz
2006-03-28 19:04
703
Apartness_rect.con.body.xml.gz
2006-03-28 19:04
695
Seg_cond.con.body.xml.gz
2006-03-28 19:04
675
Twol_cond.con.body.xml.gz
2006-03-28 19:04
670
Triangle_def.con.body.xml.gz
2006-03-28 19:04
668
Triangle_rect.con.xml.gz
2006-03-28 19:04
666
Triangle_ind.con.xml.gz
2006-03-28 19:04
663
Triangle_rec.con.xml.gz
2006-03-28 19:04
662
Equivalence.ind.xml.gz
2006-03-28 19:04
662
sym_ConLn.con.body.xml.gz
2006-03-28 19:04
659
sym_DiLn.con.body.xml.gz
2006-03-28 19:04
658
sym_DiPt.con.body.xml.gz
2006-03-28 19:04
657
el_ax.con.xml.gz
2006-03-28 19:04
653
Segment_rect.con.xml.gz
2006-03-28 19:04
642
Segment_ind.con.xml.gz
2006-03-28 19:04
642
Segment_rec.con.xml.gz
2006-03-28 19:04
641
Twolines_rect.con.xml.gz
2006-03-28 19:04
636
Twolines_rec.con.xml.gz
2006-03-28 19:04
634
Twolines_ind.con.xml.gz
2006-03-28 19:04
634
Equivalence_rect.con.xml.gz
2006-03-28 19:04
625
Equivalence_rec.con.xml.gz
2006-03-28 19:04
624
Apartness.ind.xml.gz
2006-03-28 19:04
624
Equivalence_ind.con.xml.gz
2006-03-28 19:04
622
summit.con.body.xml.gz
2006-03-28 19:04
619
Separating.con.body.xml.gz
2006-03-28 19:04
619
base.con.body.xml.gz
2006-03-28 19:04
614
extremity.con.body.xml.gz
2006-03-28 19:04
593
origin.con.body.xml.gz
2006-03-28 19:04
592
Apartness_rect.con.xml.gz
2006-03-28 19:04
585
line1.con.body.xml.gz
2006-03-28 19:04
584
connect2.con.xml.gz
2006-03-28 19:04
583
connect1.con.xml.gz
2006-03-28 19:04
583
line2.con.body.xml.gz
2006-03-28 19:04
582
Apartness_rec.con.xml.gz
2006-03-28 19:04
582
Apartness_ind.con.xml.gz
2006-03-28 19:04
582
Transitive.con.body.xml.gz
2006-03-28 19:04
576
line.con.xml.gz
2006-03-28 19:04
556
point.con.xml.gz
2006-03-28 19:04
553
Triangle.ind.xml.gz
2006-03-28 19:04
537
cmp_apt_dipt.con.xml.gz
2006-03-28 19:04
533
cmp_apt_diln.con.xml.gz
2006-03-28 19:04
531
Symmetric.con.body.xml.gz
2006-03-28 19:04
526
cmp_con_diln.con.xml.gz
2006-03-28 19:04
523
Neg_apart_equiv.con.xml.gz
2006-03-28 19:04
516
Segment.ind.xml.gz
2006-03-28 19:04
506
Twolines.ind.xml.gz
2006-03-28 19:04
504
Irreflexive.con.body.xml.gz
2006-03-28 19:04
502
Sym_imp_NegSym.con.xml.gz
2006-03-28 19:04
491
Negation.con.body.xml.gz
2006-03-28 19:04
486
Apart_imp_Sym.con.xml.gz
2006-03-28 19:04
482
Equivalence_ind.con.body.xml.gz
2006-03-28 19:04
470
Apartness_ind.con.body.xml.gz
2006-03-28 19:04
466
SPar.con.body.xml.gz
2006-03-28 19:04
464
Reflexive.con.body.xml.gz
2006-03-28 19:04
464
Equivalence_rec.con.body.xml.gz
2006-03-28 19:04
463
parsides_ii.con.xml.gz
2006-03-28 19:04
461
parsides_i.con.xml.gz
2006-03-28 19:04
458
Apartness_rec.con.body.xml.gz
2006-03-28 19:04
457
Triangle_def.con.xml.gz
2006-03-28 19:04
455
Tri_cond.con.xml.gz
2006-03-28 19:04
451
Parallelogram_ind.con.body.xml.gz
2006-03-28 19:04
444
Parallelogram_rec.con.body.xml.gz
2006-03-28 19:04
439
Twolines_ind.con.body.xml.gz
2006-03-28 19:04
433
Segment_ind.con.body.xml.gz
2006-03-28 19:04
432
Triangle_ind.con.body.xml.gz
2006-03-28 19:04
431
Seg_cond.con.xml.gz
2006-03-28 19:04
431
Twolines_rec.con.body.xml.gz
2006-03-28 19:04
430
sym_ConLn.con.xml.gz
2006-03-28 19:04
429
inc_ln2.con.xml.gz
2006-03-28 19:04
429
sym_DiPt.con.xml.gz
2006-03-28 19:04
428
sym_DiLn.con.xml.gz
2006-03-28 19:04
428
inc_pt2.con.xml.gz
2006-03-28 19:04
428
inc_pt1.con.xml.gz
2006-03-28 19:04
428
Segment_rec.con.body.xml.gz
2006-03-28 19:04
428
Twol_cond.con.xml.gz
2006-03-28 19:04
427
Triangle_rec.con.body.xml.gz
2006-03-28 19:04
427
Incident.con.body.xml.gz
2006-03-28 19:04
427
sym_EqPt.con.xml.gz
2006-03-28 19:04
426
inc_ln1.con.xml.gz
2006-03-28 19:04
426
sym_EqLn.con.xml.gz
2006-03-28 19:04
425
sym_Par.con.xml.gz
2006-03-28 19:04
423
equiv_EqLn.con.types.xml.gz
2006-03-28 19:04
407
equiv_Par.con.types.xml.gz
2006-03-28 19:04
406
equiv_EqPt.con.types.xml.gz
2006-03-28 19:04
406
Negation.con.xml.gz
2006-03-28 19:04
381
Relation.con.body.xml.gz
2006-03-28 19:04
379
Transitive.con.xml.gz
2006-03-28 19:04
376
Irreflexive.con.xml.gz
2006-03-28 19:04
375
Symmetric.con.xml.gz
2006-03-28 19:04
372
Reflexive.con.xml.gz
2006-03-28 19:04
372
Separating.con.xml.gz
2006-03-28 19:04
371
Incident.con.xml.gz
2006-03-28 19:04
328
equiv_EqPt.con.body.xml.gz
2006-03-28 19:04
327
equiv_EqLn.con.body.xml.gz
2006-03-28 19:04
327
equiv_Par.con.body.xml.gz
2006-03-28 19:04
324
extremity.con.xml.gz
2006-03-28 19:04
322
Apart.con.xml.gz
2006-03-28 19:04
321
summit.con.xml.gz
2006-03-28 19:04
319
equiv_EqPt.con.xml.gz
2006-03-28 19:04
317
equiv_EqLn.con.xml.gz
2006-03-28 19:04
317
origin.con.xml.gz
2006-03-28 19:04
316
ConLn.con.xml.gz
2006-03-28 19:04
316
line1.con.xml.gz
2006-03-28 19:04
315
equiv_Par.con.xml.gz
2006-03-28 19:04
315
DiLn.con.xml.gz
2006-03-28 19:04
315
line2.con.xml.gz
2006-03-28 19:04
314
DiPt.con.xml.gz
2006-03-28 19:04
314
pt.con.xml.gz
2006-03-28 19:04
311
ln.con.xml.gz
2006-03-28 19:04
311
apart_dipt.con.xml.gz
2006-03-28 19:04
311
apart_diln.con.xml.gz
2006-03-28 19:04
311
side4.con.xml.gz
2006-03-28 19:04
310
side3.con.xml.gz
2006-03-28 19:04
310
side2.con.xml.gz
2006-03-28 19:04
310
side1.con.xml.gz
2006-03-28 19:04
310
apart_con.con.xml.gz
2006-03-28 19:04
310
base.con.xml.gz
2006-03-28 19:04
302
EqPt.con.body.xml.gz
2006-03-28 19:04
294
EqLn.con.body.xml.gz
2006-03-28 19:04
294
Par.con.body.xml.gz
2006-03-28 19:04
292
EqPt.con.xml.gz
2006-03-28 19:04
278
EqLn.con.xml.gz
2006-03-28 19:04
278
SPar.con.xml.gz
2006-03-28 19:04
277
Par.con.xml.gz
2006-03-28 19:04
276
Relation.con.xml.gz
2006-03-28 19:04
257
Parallelogram_rect.con.types.xml.gz
2006-03-28 19:04
232
Parallelogram_rec.con.types.xml.gz
2006-03-28 19:04
231
Equivalence_rect.con.types.xml.gz
2006-03-28 19:04
228
Equivalence_rec.con.types.xml.gz
2006-03-28 19:04
226
Apartness_rect.con.types.xml.gz
2006-03-28 19:04
222
cmp_con_diln.con.types.xml.gz
2006-03-28 19:04
220
Twolines_rect.con.types.xml.gz
2006-03-28 19:04
220
Triangle_rect.con.types.xml.gz
2006-03-28 19:04
220
Apartness_rec.con.types.xml.gz
2006-03-28 19:04
220
cmp_apt_dipt.con.types.xml.gz
2006-03-28 19:04
219
cmp_apt_diln.con.types.xml.gz
2006-03-28 19:04
219
Triangle_rec.con.types.xml.gz
2006-03-28 19:04
219
Segment_rect.con.types.xml.gz
2006-03-28 19:04
219
Parallelogram.ind.types.xml.gz
2006-03-28 19:04
219
Twolines_rec.con.types.xml.gz
2006-03-28 19:04
218
Equivalence.ind.types.xml.gz
2006-03-28 19:04
218
Segment_rec.con.types.xml.gz
2006-03-28 19:04
217
apart_con.con.types.xml.gz
2006-03-28 19:04
216
Separating.con.types.xml.gz
2006-03-28 19:04
216
Irreflexive.con.types.xml.gz
2006-03-28 19:04
216
apart_dipt.con.types.xml.gz
2006-03-28 19:04
215
apart_diln.con.types.xml.gz
2006-03-28 19:04
215
Transitive.con.types.xml.gz
2006-03-28 19:04
214
extremity.con.types.xml.gz
2006-03-28 19:04
213
Symmetric.con.types.xml.gz
2006-03-28 19:04
213
Relation.con.types.xml.gz
2006-03-28 19:04
213
Reflexive.con.types.xml.gz
2006-03-28 19:04
213
Negation.con.types.xml.gz
2006-03-28 19:04
213
Apartness.ind.types.xml.gz
2006-03-28 19:04
212
Incident.con.types.xml.gz
2006-03-28 19:04
211
Triangle.ind.types.xml.gz
2006-03-28 19:04
210
Twolines.ind.types.xml.gz
2006-03-28 19:04
209
Segment.ind.types.xml.gz
2006-03-28 19:04
209
summit.con.types.xml.gz
2006-03-28 19:04
208
side4.con.types.xml.gz
2006-03-28 19:04
207
side3.con.types.xml.gz
2006-03-28 19:04
207
side2.con.types.xml.gz
2006-03-28 19:04
207
origin.con.types.xml.gz
2006-03-28 19:04
207
el_ax.con.types.xml.gz
2006-03-28 19:04
207
ConLn.con.types.xml.gz
2006-03-28 19:04
207
side1.con.types.xml.gz
2006-03-28 19:04
206
point.con.types.xml.gz
2006-03-28 19:04
206
line2.con.types.xml.gz
2006-03-28 19:04
206
line1.con.types.xml.gz
2006-03-28 19:04
206
base.con.types.xml.gz
2006-03-28 19:04
206
Point.con.types.xml.gz
2006-03-28 19:04
206
Apart.con.types.xml.gz
2006-03-28 19:04
206
SPar.con.types.xml.gz
2006-03-28 19:04
205
Line.con.types.xml.gz
2006-03-28 19:04
205
EqPt.con.types.xml.gz
2006-03-28 19:04
205
EqLn.con.types.xml.gz
2006-03-28 19:04
205
DiPt.con.types.xml.gz
2006-03-28 19:04
205
DiLn.con.types.xml.gz
2006-03-28 19:04
205
line.con.types.xml.gz
2006-03-28 19:04
204
Par.con.types.xml.gz
2006-03-28 19:04
203
pt.con.types.xml.gz
2006-03-28 19:04
201
ln.con.types.xml.gz
2006-03-28 19:04
201
Point.con.xml.gz
2006-03-28 19:04
198
Line.con.xml.gz
2006-03-28 19:04
197
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80