F. Botana (2002):
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments.
In: P. M. A. Sloot: ICCS 2002,
Lectures Notes on Computer Science 2330,
pp. 211–218,
doi:10.1007/3-540-46080-2_22.
F. Botana & M. A. Abánades (Submitted):
Automatic Deduction in (Dynamic) Geometry.
F. Botana & J. L. Valcarce (2002):
A dynamic-symbolic interface for geometric theorem discovery.
Computers and Education 38,
pp. 21–35,
doi:10.1016/S0360-1315(01)00089-6.
F. Botana & J. L. Valcarce (2003):
A software tool for the investigation of plane loci.
Mathematics and Computers in Simulation 61(2),
pp. 139–152,
doi:10.1016/S0378-4754(02)00173-8.
J. Escribano, F. Botana & M. A. Abánades (2010):
Adding Remote Computational Capabilities to Dynamic Geometry Systems.
Mathematics and Computers in Simulation 80,
pp. 1177–1184,
doi:10.1016/j.matcom.2008.04.019.
X. S. Gao, J. Z. Zhang & S. C. Chou (1998):
Geometry Expert.
Nine Chapters, Taiwan.
Michael Gerhäuser & Alfred Wassermann (2011):
Automatic calculation of plane loci using Groebner bases and integration into a Dynamic Geometry System.
In: Automatic Deduction in Geometry, 8th International Workshop, ADG 2010, Munich, Germany,
Lectures Notes in Artificial Intelligence 6877,
pp. 68–77,
doi:10.1007/978-3-642-25070-5_4.
C. Hoyles & K. Jones (1998):
Proof in Dynamic Geometry Contexts, chapter Perspectives on the teaching of Geometry for the 21st Century,
pp. 121–128.
Kluwer, Dordrecht.
U. Kortenkamp, A. M. Blessing, C. Dohrmann, Y. Kreis, P. Libbrecht & C. Mercat (2009):
Interoperable interactive geometry for europe – first technological and educational results and future challenges of the intergeo project.
In: Proceedings of CERME 6, Lyon.
U. Kortenkamp, C. Dohrmann, Y. Kreis, C. Dording, P. Libbrecht & C. Mercat (2009):
Using the intergeo platform for teaching and research.
In: Proceedings of the 9th International Conference on Technology in Mathematics Teaching, Metz, ICTMT-9.
J. M. Laborde & F. Bellemain (1998):
Cabri Geometry II.
Texas Instruments, Dallas.
Antonio Montes & Michael Wibmer (2010):
Groebner bases for polynomial systems with parameters.
Journal of Symbolic Computation 45,
pp. 1391–1425,
doi:10.1016/j.jsc.2010.06.017.
T. Recio & M. P. Vélez (1999):
Automatic discovery of theorems in elementary geometry.
Journal of Automated Reasoning 23,
pp. 63–82,
doi:10.1023/A:1006135322108.
J. Richter-Gebert & U. Kortenkamp (1999):
The Interactive Geometry Software Cinderella.
Springer, Berlin.
E. Roanes-Lozano, E. Roanes-Macías & M. Villar (2003):
A bridge between dynamic geometry and computer algebra.
Mathematical and Computer Modelling 37,
pp. 1005–1028,
doi:10.1016/S0895-7177(03)00115-8.
P. Todd (2007):
Geometry Expressions: a constraint based interactive symbolic geometry system.
In: F. Botana & T. Recio: Automated Deduction in Geometry, 6th International Workshop, ADG 2006,
Lecture Notes in Artificial Intelligence 4689.
Springer-Verlag, Berlin, Heidelberg, New York,
pp. 189–202,
doi:10.1007/978-3-540-77356-6_12.
D. Wang (1996):
Automated Deduction - Cade-13, chapter GEOTHER: A geometry theorem prover,
pp. 166–170,
LNCS 1104/1996.
Springer,
doi:10.1007/3-540-61511-3_78.