Automatic Deduction in Dynamic Geometry using Sage
GeoGebra files for testing:
limaçon of Pascal
a conchoid
proof about a triangle's orthocenter
XML files for testing:
limaçon
conchoid
cardioid (JSXGraph)
parabola (JSXGraph)
Sage worksheets for download:
ProofLocus4ggb.sws
Locus4i2g.sws
Videos