Automatic Deduction in Dynamic Geometry using Sage


GeoGebra files for testing:

1. limaçon of Pascal

2. a conchoid

3. proof about a triangle's orthocenter

XML files for testing:

1. limaçon

2. conchoid

3. cardioid (JSXGraph)

4. parabola (JSXGraph)

Sage worksheets for download:

1. ProofLocus4ggb.sws

2. Locus4i2g.sws

Videos