TY  - RPRT
TI  - Automatic Deduction in Dynamic Geometry using Sage
AU  - Francisco Botana
AU  - Miguel A. Abánades
PY  - 2012
DO  - 10.4204/eptcs.79.3
UR  - https://arxiv.org/abs/1202.4830
ID  - 1202.4830
ER  -