Index of /xml/Sophia-Antipolis/MATHS/GEOMETRY/basis

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