@article(Botana2015a,
 author       = {Francisco Botana and Markus Hohenwarter and Jani\v{c}i{\'c}, Predrag and Zolt{\'a}n Kov{\'a}cs and Ivan Petrovi{\'c} and Tom{\'a}s Recio and Simon Weitzhofer},
 year         = {2015},
 title        = {{Automated Theorem Proving in GeoGebra: Current Achievements}},
 journal      = {Journal of Automated Reasoning},
 volume       = {55},
 number       = {1},
 pages        = {39--59},
 doi          = {10.1007/s10817-015-9326-4},
)
@inproceedings(Brusilovsky1998,
 author       = {Peter Brusilovsky},
 year         = {1998},
 title        = {Adaptive educational systems on the world-wide-web: A review of available technologies},
 booktitle    = {Proceedings of Workshop ``WWW-Based Tutoring'' at 4th International Conference on Intelligent Tutoring Systems (ITS'98), San Antonio, TX},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.472.6285\&rep=rep1\&type=pdf},
)
@article(Chen2012,
 author       = {Xiaoyu Chen and Dongming Wang},
 year         = {2012},
 title        = {Management of geometric knowledge in textbooks},
 journal      = {Data \& Knowledge Engineering},
 volume       = {73},
 number       = {0},
 pages        = {43--57},
 doi          = {10.1016/j.datak.2011.10.004},
)
@article(Chrysafiadi2013,
 author       = {Konstantina Chrysafiadi and Maria Virvou},
 year         = {2013},
 title        = {Student modeling approaches: A literature review for the last decade},
 journal      = {Expert Systems with Applications},
 volume       = {40},
 number       = {11},
 pages        = {4715--4729},
 doi          = {10.1016/j.eswa.2013.02.007},
)
@incollection(Crowley1987,
 author       = {Mary~L. Crowley},
 year         = {1987},
 title        = {{The van Hiele Model of the Development of Geometric Thought}},
 editor       = {Mary~Montegomery Lindquist},
 booktitle    = {Learning and Teaching Geometry, K12},
 chapter      = {1},
 series       = {Yearbook of the National Council of Teachers of Mathematics},
 publisher    = {National Council of Teachers of Mathematics},
 address      = {Reston, VA, USA},
 pages        = {9--23},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.456.5025\&rep=rep1\&type=pdf},
)
@techreport(Santiago2010,
 author       = {Santiago Egido and Maxim Hendriks and Yves Kreis and Ulrich Kortenkamp and Daniel Marqu\`es},
 year         = {2010},
 title        = {{\sc i2g} {C}ommon {F}ile {F}ormat {F}inal {V}ersion},
 type         = {Technical Report},
 number       = {D3.10},
 institution  = {The Intergeo Consortium},
 url          = {http://i2geo.net/files/deliverables/D3.10-Common-File-Format.pdf},
)
@article(Escribano2010,
 author       = {Jes{\'u}s Escribano and Francisco Botana and Miguel~A. Ab{\'a}nades},
 year         = {2010},
 title        = {Adding remote computational capabilities to Dynamic Geometry Systems},
 journal      = {Mathematics and Computers in Simulation},
 volume       = {80},
 number       = {6},
 pages        = {1177--1184},
 doi          = {10.1016/j.matcom.2008.04.019},
)
@book(Hanna2012,
 editor       = {Gila Hanna and Michael de~Villiers},
 year         = {2012},
 title        = {Proof and Proving in Mathematics Education},
 series       = {NISS},
 volume       = {15},
 publisher    = {Springer},
 doi          = {10.1007/978-94-007-2129-6},
)
@inproceedings(Haralambous2014,
 author       = {Yannis Haralambous and Pedro Quaresma},
 year         = {2014},
 title        = {Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices},
 editor       = {S.~Watt et~al.},
 booktitle    = {CICM 2014},
 series       = {LNAI},
 volume       = {8543},
 publisher    = {Springer},
 pages        = {298--311},
 doi          = {10.1007/978-3-319-08434-3\_22},
)
@mastersthesis(Hohenwarter2002,
 author       = {Markus Hohenwarter},
 year         = {2002},
 title        = {{GeoGebra} - a software system for dynamic geometry and algebra in the plane},
 school       = {University of Salzburg},
 address      = {Austria},
)
@incollection(Janicic2006c,
 author       = {Jani\v{c}i\'c, Predrag},
 year         = {2006},
 title        = {{GCLC} \begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{—}intopreamble] {A} Tool for Constructive Euclidean Geometry and More Than That},
 editor       = {Andr\'es Iglesias and Nobuki Takayama},
 booktitle    = {Mathematical Software - ICMS 2006},
 series       = {Lecture Notes in Computer Science},
 volume       = {4151},
 publisher    = {Springer},
 pages        = {58--73},
 doi          = {10.1007/11832225\_6},
)
@article(Lee2001,
 author       = {Myung{-}Geun Lee},
 year         = {2001},
 title        = {Profiling students' adaptation styles in Web-based learning},
 journal      = {Computers {\&} Education},
 volume       = {36},
 number       = {2},
 pages        = {121--132},
 doi          = {10.1016/S0360-1315(00)00046-4},
)
@manual(mysql2011,
 author       = {Oracle},
 year         = {2011},
 title        = {MySQL 5.5 Reference Manual},
 edition      = {5.5},
 organization = {Oracle},
 url          = {http://dev.mysql.com/doc/},
 note         = {Revision: 24956},
)
@article(Papanikolaou2002,
 author       = {Kyparisia~A. Papanikolaou and Maria Grigoriadou and George~D. Magoulas and Harry Kornilakis},
 year         = {2002},
 title        = {Towards new forms of knowledge communication: the adaptive dimension of a web-based learning environment},
 journal      = {Computers \& Education},
 volume       = {39},
 number       = {4},
 pages        = {333--360},
 doi          = {10.1016/S0360-1315(02)00067-2},
)
@incollection(Quaresma2011,
 author       = {Pedro Quaresma},
 year         = {2011},
 title        = {{T}housands of {G}eometric Problems for Geometric {T}heorem {P}rovers ({TGTP})},
 editor       = {Pascal Schreck and Julien Narboux and Richter-Gebert, J{\"u}rgen},
 booktitle    = {Automated Deduction in Geometry},
 series       = {Lecture Notes in Computer Science},
 volume       = {6877},
 publisher    = {Springer},
 pages        = {169--181},
 doi          = {10.1007/978-3-642-25070-5\_10},
)
@article(Quaresma2017,
 author       = {Pedro Quaresma},
 year         = {2017},
 title        = {Towards an Intelligent and Dynamic Geometry Book},
 journal      = {Mathematics in Computer Science},
 volume       = {11},
 number       = {3},
 pages        = {427--437},
 doi          = {10.1007/s11786-017-0302-8},
)
@inbook(Quaresma2015a,
 author       = {Pedro Quaresma and Nuno Baeta},
 year         = {2015},
 title        = {Current Status of the I2GATP Common Format},
 pages        = {119--128},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-21362-0\_8},
)
@inproceedings(Quaresma2016,
 author       = {Pedro Quaresma and Vanda Santos},
 year         = {2016},
 title        = {Visual Geometry Proofs in a Learning Context},
 editor       = {Walther Neuper and Pedro Quaresma},
 booktitle    = {Proceedings of ThEdu'15},
 series       = {CISUC Technical Reports},
 volume       = {2016001},
 publisher    = {CISUC},
 pages        = {1--6},
 url          = {https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR\%202016-01.pdf},
)
@article(Quaresma2017a,
 author       = {Pedro Quaresma and Vanda Santos and Milena Mari{\'{c}}},
 year         = {2017},
 title        = {WGL, a web laboratory for geometry},
 journal      = {Education and Information Technologies},
 doi          = {10.1007/s10639-017-9597-y},
)
@book(Richter-Gebert2000,
 author       = {Richter-Gebert, J\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ü}intopreamble]rgen and Ulrich~H. Kortenkamp},
 year         = {2000},
 title        = {User Manual for the Interactive Geometry Software Cinderella},
 publisher    = {Springer-Verlag Berlin Heidelberg},
 doi          = {10.1007/978-3-642-58318-6},
)
@article(Santos2018,
 author       = {Vanda Santos and Pedro Quaresma and Helena Campos and Mari{\' c}, Milena},
 year         = {2016},
 title        = {{Web Geometry Laboratory: Case Studies in Portugal and Serbia}},
 journal      = {Interactive Learning Environments},
 volume       = {26},
 number       = {1},
 pages        = {3--21},
 doi          = {10.1080/10494820.2016.1258715},
)
@inbook(Shute2001,
 author       = {{Valerie J.} Shute and Joseph Psotka},
 year         = {2001},
 title        = {The Handbook of Research for Educational Communications and Technology},
 edition      = {1st},
 chapter      = {Intelligent Tutoring Systems: Past, Present, and Future},
 pages        = {570--600},
 publisher    = {The Association for Educational Communications and Technology},
 url          = {https://www.aect.org/edtech/ed1/pdf/19.pdf},
)
@book(Silberschatz2010,
 author       = {Abraham Silberschatz and Henry Korth and S.~Sudarshan},
 year         = {2010},
 title        = {Database System Concepts},
 edition      = {6th},
 publisher    = {McGraw-Hill Education - Europe},
 address      = {New York},
)
@article(Triantafillou2003,
 author       = {Evangelos Triantafillou and Andreas Pomportsis and Stavros Demetriadis},
 year         = {2003},
 title        = {The design and the formative evaluation of an adaptive educational system based on cognitive styles},
 journal      = {Computers \& Education},
 volume       = {41},
 number       = {1},
 pages        = {87--103},
 doi          = {10.1016/S0360-1315(03)00031-9},
)
@techreport(Usiskin1982,
 author       = {Zalman Usiskin},
 year         = {1982},
 title        = {{van Hiele} Levels and Achievement in Secondary School Geometry},
 type         = {Technical Report},
 institution  = {University of Chicago},
 url          = {http://ucsmp.uchicago.edu/resources/van\_hiele\_levels.pdf},
)
@article(Ye2010a,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2010},
 title        = {Visually Dynamic Presentation of Proofs in Plane Geometry, Part 1},
 journal      = {J. Autom. Reason.},
 volume       = {45},
 pages        = {213--241},
 doi          = {10.1007/s10817-009-9162-5},
)
@article(Ye2010b,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2010},
 title        = {Visually Dynamic Presentation of Proofs in Plane Geometry, Part 2},
 journal      = {Journal of Automated Reasoning},
 volume       = {45},
 pages        = {243--266},
 doi          = {10.1007/s10817-009-9163-4},
)
@incollection(Ye2011a,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2011},
 title        = {An Introduction to Java Geometry Expert},
 editor       = {Thomas Sturm and Christoph Zengler},
 booktitle    = {Automated Deduction in Geometry},
 series       = {Lecture Notes in Computer Science},
 volume       = {6301},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {189--195},
 doi          = {10.1007/978-3-642-21046-4\_10},
)