References

1. 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.
2. F. Botana & M. A. Abánades (2011): Locus4i2g Sage worksheet. Available at http://www.sagenb.org/home/pub/3209.
3. F. Botana & M. A. Abánades (2011): Locus_nondeg_thedu11 Sage worksheet. Available at http://www.sagenb.org/home/pub/3460.
4. F. Botana & M. A. Abánades (2011): LocusProog4ggb Sage worksheet. Available at http://www.sagenb.org/home/pub/3208.
5. F. Botana & M. A. Abánades (Submitted): Automatic Deduction in (Dynamic) Geometry.
6. 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.
7. 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.
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.
9. X. S. Gao, J. Z. Zhang & S. C. Chou (1998): Geometry Expert. Nine Chapters, Taiwan.
10. GeoGebra. Available at http://www.geogebra.org.
11. 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.
12. 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.
13. Intergeo (2010): Intergeo file format. Available at http://i2geo.net/xwiki/bin/view/I2GFormat/.
14. Intergeo (2010): Intergeo Implementation Table. Available at http://i2geo.net/xwiki/bin/view/I2GFormat/ImplementationsTable.
15. N. Jackiw (2002): The Geometer’s Sketchpad v 4.0.. Key Curriculum Press.
16. JSXGraph (2010): i2g locus example. Available at http://i2geo.net/xwiki/bin/download/I2GFormat/WebHome/locuscardioid.html.
17. 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.
18. 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.
19. J. M. Laborde & F. Bellemain (1998): Cabri Geometry II. Texas Instruments, Dallas.
20. 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.
21. 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.
22. J. Richter-Gebert & U. Kortenkamp (1999): The Interactive Geometry Software Cinderella. Springer, Berlin.
23. 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.
24. W. Stein. Available at http://wstein.org/.
25. 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.
26. 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.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org