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.
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 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.472.6285&rep=rep1&type=pdf.
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.
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.
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 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.456.5025&rep=rep1&type=pdf.
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.
Gila Hanna & Michael de Villiers (2012):
Proof and Proving in Mathematics Education.
NISS 15.
Springer,
doi:10.1007/978-94-007-2129-6.
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.
Markus Hohenwarter (2002):
GeoGebra - a software system for dynamic geometry and algebra in the plane.
University of Salzburg,
Austria.
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.
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.
Oracle (2011):
MySQL 5.5 Reference Manual,
5.5 edition.
Oracle.
Available at http://dev.mysql.com/doc/.
Revision: 24956.
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.
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.
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.
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.
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 https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR%202016-01.pdf.
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.
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.
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.
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 https://www.aect.org/edtech/ed1/pdf/19.pdf.
Abraham Silberschatz, Henry Korth & S. Sudarshan (2010):
Database System Concepts,
6th edition.
McGraw-Hill Education - Europe,
New York.
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.
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.
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.
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.
eptcs@eptcs.org