1. Francisco Botana, Markus Hohenwarter, Predrag Janiči\'c, Zoltán Kovács, Ivan Petrovi\'c, Tomás Recio & Simon Weitzhofer (2015): Automated Theorem Proving in GeoGebra: Current Achievements. Journal of Automated Reasoning 55(1), pp. 39–59, doi:10.1007/s10817-015-9326-4.
  2. Peter Brusilovsky (1998): Adaptive educational systems on the world-wide-web: A review of available technologies. In: Proceedings of Workshop ``WWW-Based Tutoring'' at 4th International Conference on Intelligent Tutoring Systems (ITS'98), San Antonio, TX. Available at
  3. Xiaoyu Chen & Dongming Wang (2012): Management of geometric knowledge in textbooks. Data & Knowledge Engineering 73(0), pp. 43–57, doi:10.1016/j.datak.2011.10.004.
  4. Konstantina Chrysafiadi & Maria Virvou (2013): Student modeling approaches: A literature review for the last decade. Expert Systems with Applications 40(11), pp. 4715–4729, doi:10.1016/j.eswa.2013.02.007.
  5. Mary L. Crowley (1987): The van Hiele Model of the Development of Geometric Thought. In: Mary Montegomery Lindquist: Learning and Teaching Geometry, K12, chapter 1, Yearbook of the National Council of Teachers of Mathematics. National Council of Teachers of Mathematics, Reston, VA, USA, pp. 9–23. Available at
  6. Santiago Egido, Maxim Hendriks, Yves Kreis, Ulrich Kortenkamp & Daniel Marquès (2010): i2g Common File Format Final Version. Technical Report D3.10. The Intergeo Consortium. Available at
  7. Jesús Escribano, Francisco Botana & Miguel A. Abánades (2010): Adding remote computational capabilities to Dynamic Geometry Systems. Mathematics and Computers in Simulation 80(6), pp. 1177–1184, doi:10.1016/j.matcom.2008.04.019.
  8. Gila Hanna & Michael de Villiers (2012): Proof and Proving in Mathematics Education. NISS 15. Springer, doi:10.1007/978-94-007-2129-6.
  9. Yannis Haralambous & Pedro Quaresma (2014): Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. In: S. Watt et al.: CICM 2014, LNAI 8543. Springer, pp. 298–311, doi:10.1007/978-3-319-08434-3_22.
  10. Markus Hohenwarter (2002): GeoGebra - a software system for dynamic geometry and algebra in the plane. University of Salzburg, Austria.
  11. Predrag Janiči\'c (2006): GCLC \begingroupłet [Pleaseinsert\PrerenderUnicode—intopreamble] A Tool for Constructive Euclidean Geometry and More Than That. In: Andrés Iglesias & Nobuki Takayama: Mathematical Software - ICMS 2006, Lecture Notes in Computer Science 4151. Springer, pp. 58–73, doi:10.1007/11832225_6.
  12. Myung-Geun Lee (2001): Profiling students' adaptation styles in Web-based learning. Computers & Education 36(2), pp. 121–132, doi:10.1016/S0360-1315(00)00046-4.
  13. Oracle (2011): MySQL 5.5 Reference Manual, 5.5 edition. Oracle. Available at Revision: 24956.
  14. Kyparisia A. Papanikolaou, Maria Grigoriadou, George D. Magoulas & Harry Kornilakis (2002): Towards new forms of knowledge communication: the adaptive dimension of a web-based learning environment. Computers & Education 39(4), pp. 333–360, doi:10.1016/S0360-1315(02)00067-2.
  15. Pedro Quaresma (2011): Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). In: Pascal Schreck, Julien Narboux & Jürgen Richter-Gebert: Automated Deduction in Geometry, Lecture Notes in Computer Science 6877. Springer, pp. 169–181, doi:10.1007/978-3-642-25070-5_10.
  16. Pedro Quaresma (2017): Towards an Intelligent and Dynamic Geometry Book. Mathematics in Computer Science 11(3), pp. 427–437, doi:10.1007/s11786-017-0302-8.
  17. Pedro Quaresma & Nuno Baeta (2015): Current Status of the I2GATP Common Format, pp. 119–128. Springer International Publishing, doi:10.1007/978-3-319-21362-0_8.
  18. Pedro Quaresma & Vanda Santos (2016): Visual Geometry Proofs in a Learning Context. In: Walther Neuper & Pedro Quaresma: Proceedings of ThEdu'15, CISUC Technical Reports 2016001. CISUC, pp. 1–6. Available at
  19. Pedro Quaresma, Vanda Santos & Milena Mari\'c (2017): WGL, a web laboratory for geometry. Education and Information Technologies, doi:10.1007/s10639-017-9597-y.
  20. J\begingroupłet [Pleaseinsert\PrerenderUnicodeüintopreamble]rgen Richter-Gebert & Ulrich H. Kortenkamp (2000): User Manual for the Interactive Geometry Software Cinderella. Springer-Verlag Berlin Heidelberg, doi:10.1007/978-3-642-58318-6.
  21. Vanda Santos, Pedro Quaresma, Helena Campos & Milena Marić (2016): Web Geometry Laboratory: Case Studies in Portugal and Serbia. Interactive Learning Environments 26(1), pp. 3–21, doi:10.1080/10494820.2016.1258715.
  22. Valerie J. Shute & Joseph Psotka (2001): The Handbook of Research for Educational Communications and Technology, 1st edition, chapter Intelligent Tutoring Systems: Past, Present, and Future, pp. 570–600. The Association for Educational Communications and Technology. Available at
  23. Abraham Silberschatz, Henry Korth & S. Sudarshan (2010): Database System Concepts, 6th edition. McGraw-Hill Education - Europe, New York.
  24. Evangelos Triantafillou, Andreas Pomportsis & Stavros Demetriadis (2003): The design and the formative evaluation of an adaptive educational system based on cognitive styles. Computers & Education 41(1), pp. 87–103, doi:10.1016/S0360-1315(03)00031-9.
  25. Zalman Usiskin (1982): van Hiele Levels and Achievement in Secondary School Geometry. Technical Report. University of Chicago. Available at
  26. Zheng Ye, Shang-Ching Chou & Xiao-Shan Gao (2010): Visually Dynamic Presentation of Proofs in Plane Geometry, Part 1. J. Autom. Reason. 45, pp. 213–241, doi:10.1007/s10817-009-9162-5.
  27. Zheng Ye, Shang-Ching Chou & Xiao-Shan Gao (2010): Visually Dynamic Presentation of Proofs in Plane Geometry, Part 2. Journal of Automated Reasoning 45, pp. 243–266, doi:10.1007/s10817-009-9163-4.
  28. Zheng Ye, Shang-Ching Chou & Xiao-Shan Gao (2011): An Introduction to Java Geometry Expert. In: Thomas Sturm & Christoph Zengler: Automated Deduction in Geometry, Lecture Notes in Computer Science 6301. Springer Berlin Heidelberg, pp. 189–195, doi:10.1007/978-3-642-21046-4_10.

Comments and questions to:
For website issues: